(定義できないと言っていたのに今では完備性の証明ができないに主張をねじ曲げましたね)