Sonic86 писал(а):Source of the post
:blink: А построить можно?
Я Вам явный способ построения классов привел. Не надо путать возможность построения классов и возможность их различения.
А множество всех подмножеств это по-Вашему тоже не множество что-ли?
1. Построение можно проиллюстрировать интуитивно понятным понятием "следующий элемент" . Но построить конечно нельзя. В существование просто постулируется аксиомой (
2. Если вы не можете сказать к какому смежному классу относится слово, то где же "явный способ построения классов"?
3. Булеан тоже просто постулируется в . Но 1. пока никто не доказал непротиворечивость 2. Лично у меня, большие сомнения по поводу множества подмножеств .