>>13759284I feel pretty sure that the problem Wildberger has is entirely about the naming conventions.
He would be completely in peace and satisfied if there was a theory called "set theory" in
which every object is finite by definition. This theory would be essentially the same as
the theory of natural number arithmetic by Peano.
Then there could be a competing theory, possibly called "collection theory" which is
the same as modern day set theory. Of course every serious mathematician and computer
scientist would choose to apply this collection theory in their work, and every serious
journal would reject articles that use the new set theory instead of the collection theory.
Wildberger would not be concerned about this, since he doesn't bother to
publish papers in serious research journals anyway.
