Not axioms, tautologies (true statements). Godel's incompleteness theorem assumes you know the axioms. Godel doesn't tell us whether we can discover the axioms,

Not axioms, tautologies (true statements). Godel's incompleteness theorem assumes you know the axioms. Godel doesn't tell us whether we can discover the axioms, although perhaps it implies that as a corollary.