>>16588866
>outside variables
I have no idea what that means. No “outside” definitions were used. Free groups, modules, quadratic norms, etc are all sets.
>rant about it like people here were taking about proof length and denial of any mathematics beyond euclids straight line
The original post I replied to claimed the Pythagorean theorem is outside the scope of ZFC. I provided an outline of how to prove the Pythagorean theorem from the ground up starting with the empty set, its power set, and various other jargon-heavy things that are sets in their essence and are obtained through power sets, set unions and the axiom of schema of specification. So I delivered.

Then the nigger started coping by saying it’s not a real proof because uhhhhhhhh it just isn’t ok? I didn’t write the whole thing down in first order language so it’s obvious false. Ok? Then he showed some bullshit scribbles going “huh, I just proved the Pythagorean theorem”. Ok? I did too.
tl;dr you’re all dumb niggers who short-circuit when exposed to math beyond high school level stuff

Back | Go to board

Board:

/sci/

Thread:

The average math student never really learns about the axiomatic foundations of math. The only people still discussing things like ZFC are…