>>612

まあ、

”――――――――――――――――――――――――――――――――――――――――――
R−B_f ＝ (リプシッツ不連続な点全体の集合) が可算無限集合であり、
しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない！」
という理解の仕方でいいのか？
――――――――――――――――――――――――――――――――――――――――――
ということになるが、その理解の仕方で問題ない。”

だから、もしこういう関数が存在するということになれば、反例成立で、定理は不成立だな