定義可能性と
基本的諸性質の証明可能性は別