それはこのスレではるか以前に出た話題だけど、
通常の数学（解析学）なんかをやる場合と同じ
論理と集合による議論を前提をしている。
定義は定義、証明は証明であって、定義も何もない。