You’ll always need some axioms to build on. If you allow that, proofs made using proof assistants prove every property they present. And of course, Principia

You’ll always need some axioms to build on. If you allow that, proofs made using proof assistants prove every property they present. And of course, Principia Mathematica (https://en.wikipedia.org/wiki/Principia_Mathematica https://en.wikipedia.org/wiki/Principia_Mathematica) is a non-computer example. Both get tedious fast if you try to understand a proof from the axioms up. That’s why you’ll rarely find a publication starting from almost zero.