Comment by dooglius

Isn't the underlying question proved impossible by Godel's incompletness theorem?