Конъюнкция - немного наглядности

https://vk.com/life_and_thinking?z=photo-97027965_456239020%2Fwall-97027965_381

Поскольку 
(А & А) = True
(А = А) = True
то
(А & А) = (А = А)

Поскольку 
(А & не-А) = False
(А = не-А) = False
то
(А & не-А) = (А = не-А)

Это верно для всех А, кроме самого False
(False & не-False) = False
(False = не-False) = False
поскольку
1) False = False
2) но (False = не-False) когда формулируется оно само:
False = (False = не-False)

Опубликована статья на Хабре: Противоречие — формула, ложная в любой интерпретации  https://habrahabr.ru/post/318666/

Сходим с дороги, чтобы найти ...

Близко философское ... "Петля" - фильм А. Овсянникова "Зачем? Почему? Ради чего?"
https://www.youtube.com/watch?v=XcctQHtAfHc

Настоящая квантовая теория начинается там, где появляются несепарабельные состояния (неотделимости). 

Ссылка: http://quantmag.ppole.ru/QuantumMagic/Doronin/28.html

Комментарий:
Но что значит не-отделимости? 
То и значит, что два (или более) разных нечто начинают вести себя как одно (А & не-А = одно) 

Представим декартову систему координат X, Y. В этом случае эти X, Y качественно различны.

Так и хочется сказать "а то что?".

Пусть Z/0=X. Это также означает, что Х*0=Z.
1) Если Z=0, то получем бесконечное число решений.
Какое число Х не возьми, равенство выполняется.
2) Если Z≠0, то решений не существует.
Какое число Х не возьми, равенство не выполняется.

Имеем: то не существет решений, то их бесконечное число.

1) Абстрагируемся. Пусть, поскольку все остальное неважно, стрела будет точкой. 

И пусть траекторией изменения будет последовательность из трех состояний (x, y): 
(0, 0)->(1, 1)->(2, 0)
Далее. Поскольку стрела есть точка, а (точка с определенной координатой) -
не то же самое, что (точка), то изменения для точки не происходит. 

В этом смысле, точка (стрела) остается точкой - она покоится (она равняется себе).

http://lpcs.math.msu.su/~uspensky/bib/Uspe...elementarno.pdf

ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ В ЭЛЕМЕНТАРНОМ ИЗЛОЖЕНИИ [стр 10]

http://z-mech.narod.ru/Lib/chaitin1.html

1. Грегори Чейтин:

"это утверждение недоказуемо" 
И так имеются две возможности. Или доказуемо или нет. Оно доказуемо или нет в системе, которую построил Гильберт для окончательной формализации математики.