>>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。