feit thompson theorem axioms traditional thought self evident truths conception problematic formal level axiom string symbols intrinsic meaning context derivable formulas axiomatic system goal hilbert 's program put mathematics firm axiomatic basis according g del 's incompleteness theorem every sufficiently powerful axiomatic system undecidable formulas final axiomatization mathematics impossible nonetheless mathematics often imagined far formal content nothing set theory
Formal science Mathematics