@futurebird @dymaxion @whknott
🧵> But, as you say, math teaching at school indeed tries more: it tries to derive every math statement all the way from a few "fundamental axioms". That is a leftover from the days when the only serious math taught at school was geometry, and geometry meant Euclid's book.
🧵>