blackroad-os/simulation-theory
9
0
Fork 0
mirror of https://github.com/blackboxprogramming/simulation-theory.git synced 2026-03-17 05:57:19 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update infinite-infinities.md

Browse Source 
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Alexa Amundson
2026-02-27 11:55:36 -06:00
committed by GitHub
parent 50f6f1fdfe
commit 9867f4ddcc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
proofs/infinite-infinities.md
View File

@@ -25,7 +25,7 @@ of α is also an ordinal.
V₀ = ∅ V₀ = ∅
Vα₊₁ = P(Vα) (power set — one step up) Vα₊₁ = P(Vα) (power set — one step up)
Vλ = ∪_{α<λ} Vα (limit stage — union over all smaller ranks) Vλ = ∪_{α<λ} Vα (limit stage — union over all smaller ranks)
V = ∪_α Vα (the universe of all sets) V = ∪_α Vα (the universe of all sets; a proper class, not a set in ZFC)
``` ```
**Rank:** Every set x has a rank ρ(x) = the least α such that x ∈ Vα₊₁. **Rank:** Every set x has a rank ρ(x) = the least α such that x ∈ Vα₊₁.