upvote
Why was it important to Tarski to limit the domain to positive integers? That seems pointlessly arbitrary.
reply
Truly, you could say that about many conjectures, especially more “fun” classical ones.
reply