>>391
当然LでACが成り立つことを示すんじゃない?
これってモデル理論だと思うけど