もしかして不完全性定理で用いられてる公理では対偶は考えられないのですかね?