In Gödel’s paradigm, statements still are either true or false, but true statements can either be provable or unprovable within a given set of axioms.
En el paradigma de Gödel, los enunciados siguen siendo verdaderos o falsos, pero los enunciados verdaderos pueden ser demostrables o indemostrables dentro de un conjunto dado de axiomas.