Hostname: page-component-7dd5485656-s6l46 Total loading time: 0 Render date: 2025-10-25T20:30:57.508Z Has data issue: false hasContentIssue false
  • English
  • Français

A Theory of Mathematical Objects as a Prototype of Set Theory

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.

The theory of mathematical objects, developed in this work, is a trial system intended to be a prototype of set theory. It concerns, with respect to the only one primitive notion “proto-membership”, with a field of mathematical objects which we shall hereafter simply call objects, it is a very simple system, because it assumes only one axiom scheme which is formally similar to the aussonderung axiom of set theory. We shall show that in our object theory we can construct a theory of sets which is stronger than the Zermelo set-theory [1] without the axiom of choice.

Information

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 20 , June 1962 , pp. 105 - 168
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1962

References

[1] Zermelo, E., Untersuchungen über die Grundlagen der Mengenlehre, I, Math. Ann., vol. 65 (1908), pp. 261–281.Google Scholar
[2] Fraenkel, A., Einleitung in die Mengenlehre, 1928 (3. Aufl.).CrossRefGoogle Scholar
[3] Neumann, J. v., Die Axiomatisierung der Mengenlehre, I. J. für reine u. angew. Math., vol. 154 (1925), pp. 219–240. Die Axiomatisierung der Mengenlehre, Math. Z., vol. 26 (1927), pp. 1–46. Ueber eine Widerspruehsfreiheitsfrage in der axiomatischen Mengenlehre, J. für reine u. angew. Math., vol. 160 (1929), pp. 227–241.Google Scholar
[4] Gandy, R. O., On the axiom of extensionality, Part I, II; J. Symbolic Logic; I. vol. 21 (1956), pp. 36–48; II. vol. 24 (1959), pp. 287–300.Google Scholar
[5] Bernays, P., A system of axiomatic set theory, Part I-VII; Symbolic Logic; I, vol. 2 (1937), pp. 65–77; II, vol. 6 (1941), pp. 1–17; III, vol. 7 (1942), pp. 65–89; IV, vol. 7 (1942), pp. 133–145; V, vol. 8 (1943), pp. 89–106; VI, vol. 13 (1948), pp. 65–79; VII, vol. 19 (1954), pp. 81–96.Google Scholar
[6] Güdel, K., The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Annals of Mathematics Studies, No. 3, 1940.Google Scholar