3 ms·
Not axioms, tautologies (true statements). Godel's incompleteness theorem assumes you know the axioms.
by Tloewald 12y ago
Not axioms, tautologies (true statements). Godel's incompleteness theorem assumes you know the axioms.
loading thread…
3 ms·