17/06/21 22:26:25.63 4pLWwsgZ.net
>>87
そのあたりのことは
ｽﾚﾘﾝｸ(math板:279番)
ｽﾚﾘﾝｸ(math板:287番)
に既に書いた
ｽﾚﾘﾝｸ(math板:339番)
ちなみに過去のスレ主の解答は(決定番号を求めるための)無限数列の構成には(可算)選択公理を使うだったから
無限数列に対する決定番号は数学的帰納法(ペアノの公理)では求められないとスレ主は自分で書いているわけだ
17/06/21 22:26:25.63 4pLWwsgZ.net
>>87
そのあたりのことは
ｽﾚﾘﾝｸ(math板:279番)
ｽﾚﾘﾝｸ(math板:287番)
に既に書いた
ｽﾚﾘﾝｸ(math板:339番)
ちなみに過去のスレ主の解答は(決定番号を求めるための)無限数列の構成には(可算)選択公理を使うだったから
無限数列に対する決定番号は数学的帰納法(ペアノの公理)では求められないとスレ主は自分で書いているわけだ