#zfc — Public Fediverse posts

'Im Mittelpunkt'
#fotoVorschlag #photoSuggestion
#altText #amateurPhotography #architecturalSophistication #functionalEngineering #geometricPatterns #Manchester #ManchesterPhotography #mastodonPhotography #MillenniumBridge #modernEngineering #myPhoto #myWork #Nikon #noAI #no2AI #oc #pedestrianWalkway #photography #pixelfed #Salford #SalfordQuays #streetPhotography #uk #Zfc @photography

So we have { 1, 2 } ∈ Fin₁ ⊆ Fin₁ₐ ⊆ Fin₂ ⊆ Fin₃ ⊆ Fin₄ ⊆ Fin₅ ⊆ Fin₆ ⊆ Fin₇

If a set is in Fin₁ then it is considered finite by all the other definitions.

But since the axiom of choice is equivalent to saying every set can be well-ordered, if we accept it VII-finite sets are equinumerous with a finite ordinal and so Fin₇ ⊆ Fin₁ and so the differences between these definitions collapse and ZF becomes ZFC, which is a widely accepted basis for Set Theory.

My consultation with math resources was inspired by a blog post:

https://www.infinitelymore.xyz/p/what-is-the-infinite

#Metamath #ZFC #SetTheory #AxiomOfChoice #FiniteSet #Infinity

Any #mathematics professors want to take a shot at explaining to someone with say a typical math major undergrad background what the deal is with the recent introduction of exacting and ultraexacting cardinals?

#math #maths #settheory #zfc

https://arxiv.org/abs/2411.11568