＞「『実数上の全域関数』として構成的数学において認められるモノ」
＞はすべて連続である。

これって
「不連続な関数は、CZFでは全域関数だと証明できない」
ってことだろ。