128

Разумеется, если речь идет о непротиворечивой теории в традиционном смысле, то такой ситуации, как отождествление A в указанной выше формуле, фактически быть не может, поскольку в непротиворечивой теории эта формула не может существовать вообще.