証明っていうか数学は記号論理で表せるものしか対象にしないんじゃないの?