Inductive semantics and syntax door Zawadowski