Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-23T23:11:16.339Z Has data issue: false hasContentIssue false
  • English
  • Français

A Certain Kind of Formal Theories

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.

A common feature of formal theories is that each theory has its own system of axioms described in terms of some symbols for its primitive notions together with logical symbols. Each of these theories is developed by deduction from its axiom system in a certain logical system which is usually the classical logic of the first order.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 25 , 1965 , pp. 59 - 86
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1965

References

[1] 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–65; IV, vol. 7 (1942), pp. 133–133; V, vol. 8 (1943), pp. 89–89; VI, vol. 13 (1948), pp. 65–65; VII, vol. 19 (1954), pp. 81–96.Google Scholar
[2] Gentzen, G. Untersuchungen über das logischen Schliessen, Math. Z., 39, pp. 176–210, 405–431 (1935).Google Scholar
[3] Glivenko, V. Sur quelques points de la logique de M. Brouwer, Academie Royale de Belgique, Bull, de la classe des sciences, ser. 5, 15 (1929), pp. 183–183.Google Scholar
[4] Gödei, K. Über formal unentscheidbare Sätze der Principia Mathematica und ver-wandter Systeme I. Monatsch. f. Math. u. Phys., vol. 38 (1931), pp. 173–173.Google Scholar
[5] Gödei, K. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory, Annals of Math. Studies, No. 3, Princeton.Google Scholar
[6] Johansson, I. Der Minimalkalkül, ein reduzierter intutionistischer Formalismus, Compositio Mathematicae, vol. 4 (1936), pp. 119–119.Google Scholar
[7] Kuroda, S. Intuitionistische Untersuchungen der Formalistischen Logik, Nagoya. Math. J., vol. 2 (1951), pp. 35–35.Google Scholar
[8] Nishimura, T., On Gödel’s theorem, J. Math. Soc. Jap., vol. 13 (1961), pp. 1–1.Google Scholar
[9] Ono, K., A theory of mathematical objects as a prototype of set theory, Nagoya Math. J., vol. 20 (1962), pp. 106–106.CrossRefGoogle Scholar
[10] Ono, K. A stronger system of object theory as a prototype of set theory, Nagoya Math. J., vol. 22 (1963), pp. 119–119.CrossRefGoogle Scholar
[11] Ono, K. On a practical way of describing formal deductions, Nagoya Math. J., vol. 21 (1962), pp. 115–115.Google Scholar
[12] Suetuna, Z. Über die Grundlagen der Mathematik I-III: I, J. Math. Soc. Jap., vol. 3 (1951), pp. 59–59: II, HI, Proc. Jap. Academy: II, vol. 27 (1951), pp. 389–389: III, vol. 29 (1953), pp. 91–91.Google Scholar