Re: Very easy problem but I am a stupid non-logician idiot

Well, whatever you want to call it, maybe we should call it wikipedia
arithmetic. It specifies a comprehension principle. It is a schema.
This schema basically says you can define anything you want. When I
say it is a principle, I mean it ranges over all the grammatical
instances in the language. What I am asking is how would one define
addition in this system, based on the comprehension principle?
.