malizabilni) pojam istinc zamijeni pojmom dokazivosti koji je formalizabilan u svakom sistemu koji...
10
malizabilni) pojam istinc zamijeni pojmom dokazivosti koji je formalizabilan u svakom sistemu koji sadrŽi aritmetiku. Naime, Gödel je pokazao da je svaki formalni sistem S u koiem