無矛盾な公理的集合論は自己そのものの無矛盾性を証明することができないから

　　　　　　　　　　　　　　　　　　　　　―――長門　有希