Truth Definitions, Skolem Functions And Axiomatic Set Theory
user correction - Legacy Corrections
SVM HeaderParse 0.1
SVM HeaderParse 0.2
this paper, it will turn out logicians have universally missed the true, exceedingly simple feature of ordinary first-order logic that makes it incapable of accommodating its own truth predicate. (See Section 4 below.) This defect will also be shown to be easy to overcome without transcending the first-order level. This eliminates once and for all the need of set theory for the purposes of a metatheory of logic.