“Existem declarações em qualquer sistema lógico suficientemente poderoso F que não podem ser provadas nem refutadas em F.”
Raatikainen, P. (n.d.). “Gödel’s Incompleteness Theorems”. The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.). https://plato.stanford.edu/entries/goedel-incompleteness/
Fonte primária: Gödel, Kurt. "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." Monatshefte für Mathematik und Physik 38.1 (1931): 173-198.
“A consistência de um sistema lógico suficientemente poderoso F não pode ser demonstrada dentro de F.”
Raatikainen, P. (n.d.). “Gödel’s Incompleteness Theorems”. The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.). https://plato.stanford.edu/entries/goedel-incompleteness/
Fonte primária: Kurt Gödel, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" (1931).
