>>165
ゲーデルの定理があるからな。しかし、だからと言って勝手に定義だけポンと
置いていくわけにもいかない。対象に応じて、ある程度のレベルまでwell-defined
であることを確認しなければならない。たとえば、
何らかの体を構成したなら、それが体になっていることくらいは確認しなければならない。
何らかの写像を定めたなら、それが写像になっていること(＝像が一意に決まること)くらいは
確認しなければならない。