Логики, которые помогли создать программирование @2dn8r58

Возможно, аксиомы на картинке покажутся очевидными, однако именно они составляют метод Лейбница и являются основой для логических типов в Python (да и других языках тоже).

x = 10
y = x # y теперь ссылается на тот же объект, что и x
print(y == 10) # True, y можно заменить на x

#факт

@zen_of_python