Article contents
Formal System Having Just One Primitive Notion
Published online by Cambridge University Press: 22 January 2016
Extract
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 ∈.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966
References
- 2
- Cited by