You only need faith in two things: …that some single large ordinal is well-ordered.
I’m confused. What do you mean by faith in… well, properties of abstract formal systems? That some single large ordinal must exist in at least one of your models for it to usefully model reality (or other models)?
I’m confused. What do you mean by faith in… well, properties of abstract formal systems? That some single large ordinal must exist in at least one of your models for it to usefully model reality (or other models)?