Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-23T20:00:10.008Z Has data issue: false hasContentIssue false
  • English
  • Français

Formal System Having Just One Primitive Notion

Published online by Cambridge University Press:  22 January 2016

Katuzi Ono
Katuzi Ono*
Affiliation:
Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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
Nagoya Mathematical Journal , Volume 28 , October 1966 , pp. 73 - 77
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1966

References

[1] Ono, K., On universal character of the primitive logic, Nagoya Math. J., 27-1 (1966), 331–353.CrossRefGoogle Scholar
[2] Ono, K., A certain kind of formal theories, Nagoya Math. J., 25 (1965), 59–86.CrossRefGoogle Scholar