19/12/05 19:34:38.52 vEgJBXXW.net
>>603
＞超限帰納法は、論点ずらしでしょ
根本ですが
任意の順序数について無限降下列が存在しないから、超限帰納法が成立する
URLﾘﾝｸ(ja.wikipedia.org)
>>605
＞二階述語論理で同型
全然無関係
そもそも最初の超限順序数のZermelo構成の仕方が間違ってる
Zermelo構成でも最初の超限順序数は、シングルトンにはなりません
19/12/05 19:34:38.52 vEgJBXXW.net
>>603
＞超限帰納法は、論点ずらしでしょ
根本ですが
任意の順序数について無限降下列が存在しないから、超限帰納法が成立する
URLﾘﾝｸ(ja.wikipedia.org)
>>605
＞二階述語論理で同型
全然無関係
そもそも最初の超限順序数のZermelo構成の仕方が間違ってる
Zermelo構成でも最初の超限順序数は、シングルトンにはなりません