Article contents
On Systems of Self-Consistent Abstractions
Published online by Cambridge University Press: 22 January 2016
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
- 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
- 3
- Cited by