Abstract
In this paper, I would like to point out some characteristic features of formal systems having just one primitive notion. Most remarkable systems of this kind may be Zermelo’s and Fraenkel’s set-theories, both having just one primitive notion ∈.
Publisher
Cambridge University Press (CUP)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Formal Theories;Nagoya Mathematical Journal;1968-06
2. Reduction of logics to the primitive logic;Journal of the Mathematical Society of Japan;1967-07-01
3. Taboo Versus Axiom;Nagoya Mathematical Journal;1966-10
4. On Development of Formal Systems Starting from Primitive Logic;Nagoya Mathematical Journal;1966-10