- 6,163
- 16,274
- Thread starter
- #41
High 1-A is actually based on the notion of large cardinals. As in, Cardinal Numbers whose size is such that you have to axiomatically declare their existence in order to expand the scope of your framework of sets, much like how you can't reach the first infinite cardinal through the usual tools of Peano Arithmethic and need to add it in the form of a separate statement declaring that an infinite set exists. It's on this page.
Although I guess I should have made this more explicitly clear.
Although I guess I should have made this more explicitly clear.