広げた体系の中で不存在なら、元の体系の中でも不存在だろう。
だが、広げた体系の中で存在しても、元の体系の中では存在しないかもしれない。

だから、広げた体系の中で証明が不可能なら、元の体系の中でも証明は不可能だろうが、
広げた体系の中で証明が可能でも、元の体系の中では証明は可能ではないかもしれない。

？？