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) 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.
Not to mention, I very very much doubt that those articles prove every property they present (since I've never seen a math text of any kind do that, essentially).