>>1
使用しても良いものが何であるかを明示しなければ、
証明可能かどうかが判断出来ないというのが通常の
数学者の感覚だと思います。従ってアナタは我々に
「何が使用可能か？」に関する情報を提示しなけれ
ばならないと考えます。私はド素人なので、コレが：
「公理系を定め、定義を明確にするという行為」
だと理解していますが、此処に基礎論的な困難が含ま
れている可能性が存在する故、専門家の判断に委ねな
ければならない事態が予想されます。

猫