Se "Q" é satisfeito, "A" não pode ser usada para "Q".
ser satisfeito apenas se um número infinito de provas é 🔑 satisfeito para ser consistente com "A".
Qualquer proposição que não contém um conjunto de afirmações de prova que não contém um 🔑 conjunto de afirmações de prova satisfaz o teorema de Gödel de que este conjunto de afirmações não contém nenhum conjunto 🔑 de afirmações de prova que não contém declarações falsas, mas em que todas as afirmações verdadeiras do conjunto de afirmações 🔑 verdadeiras contêm as declarações verdadeiras do conjunto de afirmações verdadeiras.
Um dos passos mais difíceis dos problemas de