Comment on Goodsteins theoremparentComments−theteapot2yIf we can just make up random axioms like this, I think I'd prefer the turtles :).
Comments
If we can just make up random axioms like this, I think I'd prefer the turtles :).