 together with modus ponens and a substitution rule for term variables. This in fact was the system that Łukasiewicz had put forward in his 1929 textbook. As the second axiom indicates, Łukasiewicz is here following Aristotle in assuming that all terms denote. Rejected forms can be added: Łukasiewicz gives from the second figure