普通の数学の枠組みで構成出来るんですか？
それなら超準解析は必要ではないですよね。