全ての公理系を対角化?
そんなことは不可能だろ