Around 300 B.C., the Greek mathematician Euclid famously tried to construct the principles of geometry starting with axioms—basic truths that are taken as too fundamental to prove. He then asked what conclusions must follow. This is how a mathematical theory is built, and logic tells us that a theory has to be true whenever the axioms are true.
Here is another article that responded to the same video:
And one more: