>>1747546> the guy who wasn't even able to solve it in ℕ posts about "muh, nothing special"And yes, the + operator in ℕ is given (not per definition of ℕ, like you assume, but because the axioms you would assume a + should have are just possible with one obvious form of the + operator), that's why it is different than H.
That's why "do it for H" is retarded, while the missing space in OP is not.
Why are spin off weebs so retarded?
Instead of just assuming a case and solving it, you are crying and complaining about something that you think is missing.
Is it because you can't even do it for ℕ, just like the three people above that failed?
