Gödel's incompleteness theorems cast unexpected light on these two related questions.
Gödelin epätäydellisyyslause tarjosi odottamatonta lisävalaistusta näihin kahteen toiseensa liittyvään kysymykseen.