>professor explains a long proof
>ask him why we couldn't just subtract here and cut the proof in half
>"sorry we haven't defined subtraction yet"
When did you realize majoring in math was a meme?
kek OP, I remember that with division. You get used to it. The way math is done, with definitions, theorems and proof, is hard to get your head around at first. Once you get it you, you get it, and becomes awesome and you start wishing everyone else had that kind of rigor.
>But that doesn't make any sense, professor. How come the result isn't intuitive at all?
>Well, actually, if you use the axiom of choice...
>we haven't defined subtraction yet
enjoying your intro to proofs class OP?
nobody is that autistic in math courses unless you're doing that stupid "hurr we must prove EVERYTHANG because muh RIGOUR" course they make everybody take