dokazivost konzistentnosti?

U ranijem tekstu zašto matematika ne može zahvatiti istinu? bilo je riječi o prvom Gödelovom (Gödel-Rosserovom) teoremu: Uobičajene matematičke teorije, npr. uobičajene formalne aritmetike i teorije skupova, nisu formalno potpune (a čak niti upotpunjive), tj. za takve teorije mora postojati barem jedna rečenica izražena u jeziku te teorije takva da niti ona sama, niti njena negacija nisu dokazive u […]