Nagoya Mathematical Journal

A system of mutually contradictory $n$ abstractions whose proper sub-systems are all mutually consistent

Article information

Source
Nagoya Math. J., Volume 32 (1968), 395-397.

Dates
First available in Project Euclid: 14 June 2005

https://projecteuclid.org/euclid.nmj/1118797391

Mathematical Reviews number (MathSciNet)
MR0234833

Zentralblatt MATH identifier
0165.01301

Subjects
Primary: 02.60

Citation

Ono, Katuzi; Ohta, Minolu. A system of mutually contradictory $n$ abstractions whose proper sub-systems are all mutually consistent. Nagoya Math. J. 32 (1968), 395--397. https://projecteuclid.org/euclid.nmj/1118797391

References

• [1] Inoue, Yoshinobu On systems of self-consistent abstractions, Nagoya Math. J., 28 (1966), 179-185.
• [2] Ono, Katuzi Mutual contradiction of two self-consistent abstractions, Nagoya Math. J., 28 (1966), 59-61.
• [3] Quine, Willard Van Orman Set theory and its logic. Cambridge, Mass., xv359.
• [4] in p. 26 can be simplified as follows For, one can prove 2t -8 by definition.