自分と異なる公理を軽視するバグ
https://twitter.com/bd_gfngfn/status/1419891111984701446?s=21
公理系の違い