Rodegast
> Из формулы

Ты бы своими фантазиями на математическом форуме поделился

В 2014 написал статью “Фундаментальное ограничение математики”, лицензия на которую была получена от ведущего научного сотрудника Курчатовского института.
Ссылка на статью: http://sci-article.ru/stat.php?i=1411322275

Rodegast
> Возьми множество натуральных чисел или множество целых чисел. Есть там порядок?

Нет.

Дурачок детектед.
А в школе у тебя по математике что было?

P.S. Замечу, что
/*если (каждое Х, такое что Х не существует),
то не (хотя бы одно Х существует)*/

можно прочесть так:
/*если (каждое Х, такое что Х не существует),
то не (существует или существуют Х, такие что Х существует)*/

Более наглядно …



Если каждый (зверь – животное), то хотя бы один (зверь – животное).
Если каждый (зверь – не насекомое), то каждое (насекомое – не зверь).
Если каждый (зверь – не насекомое), то хотя бы одно (насекомое – не зверь).
Если каждый (зверь – животное), то нет такого, что хотя бы один (зверь – не животное).
Если каждый (зверь – не насекомое), то нет такого, что хотя бы один (зверь – насекомое).



P.S. Если посмотреть сверху-вниз на эти множества, то получим круги Эйлера

И последнее, что хотелось бы сказать …

Успенский / Теорема Геделя о неполноте:

Ссылка:

##################
Для каждой формальной системы невозможно доказать (выразить истинно): либо Х, либо not Х.
Всегда найдется хотя бы одно Х, такое что: Х истинно и оно же ложно.

Вот NULL таковым и является:
NULL = (False == False and False != False)
т.е. ноль равен нулю и ноль не равен нулю.

> В 2014 написал статью “Фундаментальное ограничение математики”, лицензия на которую была получена от ведущего научного сотрудника Курчатовского института.

Скажи честно, тебе клоуном быть не надоело? Математическая логика в первую очередь нужна для проверки истинности утверждений. Ты же берёшь заведомо ложное высказывание, при помощи мат. логики ты доказываешь его ложность (твоё феерическое False == False and False != False ложно), а потом зачем то сравниваешь эту ложь с нулём.

> А в школе у тебя по математике что было?

Не путай множество натуральных чисел и натуральный ряд.

bulygin69 это забавная дисскусия, я даже прочитал вашу статью, не скажу что я все понял, но думаю основную мысль я уловил. А вот вы кажеться не понимаете как работает тот или иной ЯП вообще и в частности, пайтон.
Давайте по порядку рассмотрим ваш код :
Возможно с точки зрения математики NULL = (False == False and False != False) так и есть, но это выражения нельзя просто взять и перенести в пайтон “в тупую” как это сделали вы:
потому что у пайтона свое понимание что такое False и True . Вы могли с тем же успехом написать y = False потому что для пайтона логическое выражение (False == False and False != False) ВСЕГДА равно False а не какомуто абстрактному NULL
Идем дальше :
итак мы уже знаем что первоначально “у” нас False , (i == i) у нас ВСЕГДА будет True. Это связано с тем как работает пайтон при сравнении. i это всего лишь переменная которая ссылается на некую область памяти. поскольку у вас слева и справа знака “==” переменные которые ссылаются на одну и ту же область памяти то интерпретатор делает вывод что они равны и возвращает True. C тем же успехом вы могли просто написать y = True + y.
Но как же оно работает? Дело в том что первоначально в пайтоне не было булевого типа. И програмисты использовали банальный 0 и 1. Когда таки решили что нужен булевый тип данных, уж не знаю, то ли для совместимости с предыдущими версиями, толи еще почему, решили что булевый тип будет наследовать от целочисленного. False стал равен 0 ,а True=1. Следовательно ваше y = True + y можно записать как y = 1 + y.
Код ниже делает ровно тоже самое что и ваш, только я убрал лишние операции результат которых ВСЕГДА будет один и тот же.
идем дальше
Множество не может содержать неуникальных элентов и ваше множество превращаеться в {9, None, ‘d’, True}еще на этапе создания обьекта, поэтому неудивительно что оно “работает”. Ваш код всего лишь подсчитывает колличество элементов множества ,такое учатся писать школьники на первых уроках по програмированию.
Поэтому если вы действительно хотите написать программу котороая будет реализовывать вашу логику, вам нужно писать чтото иное чем то что вы написали.

Rodegast
Не путай множество натуральных чисел и натуральный ряд.

А множество целых чисел - это целый ряд?
Что значит “на множестве задано отношение”?
Тут почитаешь.

> А множество целых чисел - это целый ряд? Что значит “на множестве задано отношение”?

Нет. ℕ это не упорядоченное множество. А натуральный ряд это уже упорядоченная структура т.е. это ℕ на котором задано отношение (в данном случае отношением является функция следования см аксиому Пеано на которую ссылается bulygin69 в начале дискуссии).

PEHDOM
Вы могли с тем же успехом написать y = False

Мог бы. Но это бы не отображало смысл, что:

PEHDOM
(False == False and False != False) ВСЕГДА равно False

Верно. Но это и нужно! Имеем если (Х!=Х),то (ноль Х)

PEHDOM
(i == i) у нас ВСЕГДА будет True

Опять верно.
Но я же это и утверждаю:
если (Х==Х), то это (одно Х)

PEHDOM
Следовательно ваше y = True + y можно записать как y = 1 + y.

Правильно! Это лишний раз доказывает, что True - это 1.

PEHDOM
Множество не может содержать неуникальных элентов и ваше множество превращаеться в {9, None, ‘d’, True}

Где я утверждал обратное? Нигде. Программа и подсчитывает их как 4.

Еще раз: То, что не равно себе, то ноль. То, что равно себе, то один. Это и используется.