Thank you, but it is again like to say: “oh, to solve physics problem you need calculus. Calculus uses real numbers. The most elegant way to introduce real numbers is from rational numbers from natural numbers via Peano axiomatics. So let’s make physicists study Peano axiomatic, set theory and formal logic”.
In any area of math, you need some set theory and logic—but usually in the amount that can be covered in one-two pages.
Thank you, but it is again like to say: “oh, to solve physics problem you need calculus. Calculus uses real numbers. The most elegant way to introduce real numbers is from rational numbers from natural numbers via Peano axiomatics. So let’s make physicists study Peano axiomatic, set theory and formal logic”.
In any area of math, you need some set theory and logic—but usually in the amount that can be covered in one-two pages.