19/12/15 15:26:21.12 PRdnkv5o.net
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れ�
19/12/15 15:26:21.12 PRdnkv5o.net
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れ�
19/12/15 15:26:21.12 PRdnkv5o.net
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れ�