This has never not been true. There are always hand wavy axioms at the bottom.