Mathematics is the process of manipulating axioms to derive more complex results. This process needs to abide by the rules of logic, but what if there is more than one type of logic?

There is classical logic, and there is constructive logic, using them as a foundation leads to classical mathematics and constructive mathematics respectively. So, what are the differences between them?

Lecture video used in my video:    • Five Stages of Accepting Constructive...  

Veritasium video:    • Math's Fundamental Flaw  

Music : Earl Sweatshirt - Solace