Hur används ordet obevisbar

Härav följer, att om S är konsistent, så är G både sann och obevisbar.

Det säger att, om ett formellt system S för aritmetik är konsistent, så är det möjligt att konstruera en sats G, som är sann men obevisbar i detta system.

Att det i ett konsistent system kunde konstrueras en sats, som i systemet kunde bevisas vara såväl sann som obevisbar var det som Gödel gjort möjligt med hjälp av uppfinningen, Gödelnumrering.

En uppgift om att Olof skulle ligga begravd i Husaby i Västergötland härstammar från 1740-talet och är lika obevisbar som de 100-200 år äldre uppgifterna att han är begravd i Skara eller Linköping.

Den är använd i nätdiskussioner av ateister eller religionskritiker för att driva med teisters tro på obevisbara och ofta logiskt motsägelsefulla gudomligheter.