18/12/31 06:53:12.80 PWZHndJJ.net
>>676
つづき
２）次に再確認
（>>645 私スレ主より）
数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
(引用終り)
要するに、些末な順序の議論を避けるために、上記１）～４）は順不同としよう。
また、選択公理は好きなときに好きなだけ使って良いとする。
さらに、(＞＞652に書いたように)
選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
だから、前述のように、「有限」でも問題なく適用できることを念押ししておく。
つづく