系3.12を公理として加えれば解決だね