数理論理学（数学基礎論） その12

[0659 １３２人目の素数さん 2018/02/28(水) 08:40:49.28 ID:/sptEpM1]

>>654,657,658
直観主義では選択関数の定義ができないのに出来るように見せかけてるってことね
http://lkozima.hatenablog.com/entry/2013/01/04/231525