Comment by y1n0

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