>>239-240
ランダム実数って基礎論の概念じゃないの？。昔数セミに竹内外史が記事書いてた。