A basic part of the interpretation of our theory is that each wff φ (x) expresses a property that a given individual a has or does not have according as φ (a) holds or does not hold. Then φ A (x) expresses the “same” or “corresponding” property for the universe A.
KeywordsFree Variable Wide Sense Transitive Model Deduction Theorem Inaccessible Cardinal
Unable to display preview. Download preview PDF.