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.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.
