Hvad er problemet med en sætning, der kan bevises, i Gödels ufuldstændighedssætning? 


Hvis sætningen kan modbevises, må det betyde at sætningen er falsk, ergo betyder det, at "denne sætning kan bevises", hvilket er en kontradiktion til antagelsen. Hvis man antager at sætningen kan bevises, skal den være sand og det kontradikterer antagelsen.
Anne Jensen er fra København. Hun er uddannet styrmand fra Marstal Navigationsskole, hvor hun læste til skibsfører.