This schizo really redefined math just by saying “nuh uh”?
>>16870408Godel theorems in their original context concern metamathematics, not mathematics per se
godel didn't like the program of principia mathematica, it's his way of saying your assumptions are flawed
>>16870408the fuck's 17 doing there?
>>16870408
>>16870416it's a substitution mechanism, 17 is the symbol being replaced
>>16870420ah, ok, good to know, thanks