Comment by DeathArrow

Kurt Gödel kind of proved that it doesn't make much sense to build math based on axioms. This is what I consider the most important result of his work.