A new theory of element and number
- 1 December 1948
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 13 (3) , 129-137
- https://doi.org/10.2307/2267813
Abstract
Quine remarked that the system of his book exclusive of *200 is a completely safe basal logic. Axioms of this basal logic are given by *100-*105 and *201-*202 in the book. For relation theory and number theory, we need some further axioms to guarantee elementhood of certain entities. In the article, Quine proposed to adopt as axioms f610 and the following two statements:Keywords
This publication has 0 references indexed in Scilit: