Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-23T19:56:12.616Z Has data issue: false hasContentIssue false
  • English
  • Français

On Systems of Self-Consistent Abstractions

Published online by Cambridge University Press:  22 January 2016

Yoshinobu Inoue
Yoshinobu Inoue*
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 show that there are many systems of abstractions, each abstraction being self-consistent, but each system as a whole leading to contradiction or to some pathological situation.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 28 , October 1966 , pp. 179 - 185
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1966

References

[1] Ono, K., On a practical way of describing formal deductions, Nagoya Math. Jour., vol. 21 (1962), pp. 115–121.CrossRefGoogle Scholar
[2] Ono, K., Mutual contradiction of two self-consistent abstractions, Nagoya Math. Jour., vol. 28 (1966), pp. 59–62.Google Scholar
[3] Ono, K., A certain kind of formal theories, Nagoya Math. Jour., vol. 25 (1965), pp. 59–86.Google Scholar