Remarks on identity and description in first-order axiom systems. (English) Zbl 0055.00403

Full Text: DOI


[1] DOI: 10.1007/BF01696781 · JFM 56.0046.04
[2] Methods of logic (1950)
[3] Mind 14 pp 479– (1905)
[4] Principles of mathematical logic (1950)
[5] On the consistency of Quine’s new foundations for mathematical logic 4 pp 15– (1939) · Zbl 0020.19401
[6] Grundlagen der Mathematik (1934)
[7] On the independence of the axioms of definiteness (Axiome der Bestimmtheit) 4 pp 69– (1939)
[8] Logic for mathematicians (1953)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.