>>327
>（やはり彼の人は"0=1の宇宙"とは何かを考えたことはないようです）

ふっ
(ですね)人か
これでもくらえ！（＾＾

(google検索)
what is 0=1 Large Cardinal
＜AI概要＞
"0 = 1" is not actually a large cardinal itself, but rather a trivial/inconsistent axiom (or contradiction) that some extremely powerful, hypothetical large cardinal axioms—such as the Reinhardt cardinal—have been suspected or shown to be inconsistent with standard ZFC (Zermelo–Fraenkel set theory with the Axiom of Choice).

Key Concepts
• Large Cardinals: In mathematics, large cardinal properties describe transfinite cardinal numbers so large that their existence cannot be proven from standard ZFC axioms. They form a strict hierarchy of increasing consistency strength.
• The "Too Strong" Limit: As mathematicians explore higher and higher large cardinal axioms (such as measurable, supercompact, or extendible cardinals), some proposed axioms near the top of the hierarchy turn out to be too strong.
• Equivalence to 0 = 1: For instance, the existence of a Reinhardt cardinal (a type of large cardinal defined by a non-trivial elementary embedding from the universe V to V) was famously shown by Kenneth Kunen to be inconsistent with the Axiom of Choice in ZFC. In certain informal or extended contexts, assuming or reaching certain inconsistent upper bounds collapses the entire logical system down to absurdity, meaning you can prove everything—colloquially summarized as the system implying 0 = 1.


Summary
Saying "0 = 1 large cardinal" refers to the boundary where a proposed large cardinal axiom (like a Reinhardt cardinal) overshoots the consistency of standard set theory, reducing the logical framework to a contradiction where 0 = 1.

Would you like to explore how the large cardinal hierarchy is ordered (from inaccessible to measurable cardinals), or are you interested in a specific axiom like Kunen's inconsistency theorem?