出ました。私は文章で公理系の証明をしようとしましたが。不完全に終わりま
した。ほんと不完全でした。