It wasn't until the 1900s that Principal Mathematica was written in order to derive fundamental axioms that can be used to derive all other mathematic principles.

This is the book that people often partially joke about it being the first exhaustive proof that 1+1=2.

I guess my point is also the compliment to your point. Even things that are right are not always obvious.