From 9867f4ddcc7421e9cc29afc469c85443b3653879 Mon Sep 17 00:00:00 2001
From: Alexa Amundson <118287761+blackboxprogramming@users.noreply.github.com>
Date: Fri, 27 Feb 2026 11:55:36 -0600
Subject: [PATCH] Update infinite-infinities.md

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
---
 proofs/infinite-infinities.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proofs/infinite-infinities.md b/proofs/infinite-infinities.md
index 75c4edb..481a180 100644
--- a/proofs/infinite-infinities.md
+++ b/proofs/infinite-infinities.md
@@ -25,7 +25,7 @@ of α is also an ordinal.
 V₀     = ∅
 Vα₊₁   = P(Vα)          (power set — one step up)
 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α₊₁.