• 正しいことも間違っていることも証明ができないということを証明した定理

床屋のパラドックス