Tendo como base a lógica clássica, para que uma teoria seja considerada consistente, não deve ser possível que dela derive de uma contradição ⊦ vírgula espaço perpendicular. De acordo com o teorema da consistência, não existe fórmula beta espaço pertence espaço caligráfica c com p subscrito tal que ⊦ espaço beta e ⊦ espaço sinal de negação beta no sistema dedutivo. Qual das opções demonstra corretamente a prova deste teorema?