Report copyright - 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
Please pass captcha verification before submit form