http://pfpmd7dd5ijt4add2sfi4djsaij4u3ebvnwvyvuj6aeipe2f5llptkid.onion/ui3/cs/28c8363c0c3c4a6dbf274d7e9aa441e5?p=0
. @ fbcf3 404c1fa4a6783e5b7efccc7494e fulmar 2021-09-08 20:16:21 C теоремой Гёделя о неполноте ("это высказывание не доказуемо") такая же ситуация. Имеем предикат Pr(y, x) , который говорит, что число y есть номер доказательства высказывания с номером x . И предикат G(x) = forall y, !Pr(y, x) . Тут тоже просто за счёт того, что Pr(y, x) имело бы разное значение в разных контекстах, можно было бы разрешить эту проблему. @...