No CrossRef data available.
Published online by Cambridge University Press: 22 January 2016
It has been pointed out by K. ONO that there is a pair of mutually contradictory abstractions, each of which is self-consistent. Afterwards, Y. INOUE pointed out that there is a vast class of such pairs which is as vast as the class of all the Russell-type paradoxes. It must be a natural course of matter to ask the following question: For every number n, is there a system of mutually contradictory abstractions whose proper subsystems are all mutually consistent?