/// По пунктам: 1) когда говорим о числе, то имеем ввиду отношение двух множеств: что-считаем и чем-считаем. 2) принцип построения множества чем-считаем: любой элемент (различие) должен отличаться от уже введенных и должен следоваать после последнего введенного. 3) во множество что-считаем имеем право заносить только тождественные элементы (даже когда заносим различное, мы ищем в них тождественное. Например: кошка и собака - домашние животные) 4) один есть тождество чего-то с самим собой. 1 = {что-то = что-то} /// Определение числа (различие тождественного) с последующим формированием натурального числа: Для тождественного, что отнесем к множеству тождественностей, сопоставим различие, которое после ввода в множество различий будет как отличаться от различий в этом множестве, так и следовать после различия, которое было введено последним. Различие, введенное таким образом в множество различий, будем называть натуральным числом, а множество различий - множеством натуральных чисел. /// Пояснение к пункту 2. Более привычное множество чем-считаем: 3 отличается от уже введенных (от 1 и 2) и следует после 2. 4 отличается от уже введенных (от 1 и 2 и 3) и следует после 3. "Пещерное, используя палочки" множество чем-считаем: "|||" отличается от уже введенных (от "|" и "||") и следует после "||". Т.е имеем сопоставление: что-считаем {"|", "|", "|"} чем-считаем {"|" -> "||" -> "|||"} ... Но будет правильным и такое сопоставление: что-считаем {"|", "|", "|"} чем-считаем {"||" -> "|" -> "|||"} Первое введенное может быть любым, например "||". Следующее должно отличаться от уже введенных (от "||") и следовать после последнего введенного (после "||"), например "|". Следующее должно отличаться от уже введенных (от "||" и от "|") и следовать после последнего введенного (после "|"), например "|||". /// Пояснение к пункту 3. Что тождественного между ложкой и вилкой? Они - столовые приборы. Поэтому: "столовый прибор" ложка + "столовый прибор" вилка = 2 "столовый прибор" Или так: {столовый прибор" ложка, "столовый прибор" вилка} { 1 -> 2 } ... Что тождественного между симфонией и набором инструментов? Они существуют. Поэтому: "существование" симфонии + "существование" набора инструментов = 2 "существование" Или так: {"существование" симфонии, "существование" набора инструментов} { 1 -> 2 } /// Пояснение к пункту 4. Если есть что-то, то это что-то тождественно себе. Такая Формулировка вполне согласуется с ординальной единицей: 1 = {0}. И более того - включает ее как частный случай. ///
|