For clarification, in a deduction system, an axiom is a <i>proposition</i> that is true <i>just because</i>. Similarly, an axiom schema is a <i>predicate</i>, such that substituting its free variables with closed terms yields a proposition that is true <i>just because</i>.<p>Now, I repeat, how exactly is Lisp “just axioms”? What are the axioms in question? The mathematical ignorance of some of Lisp&#x27;s proponents never ceases to amaze me.