(1) 命題Pの否定¬Pに、「(P→⊥)├¬P」以外の導入規則がある
(2) 実数xが無理数であることに、「ある述語Pに対する¬P(x)」以外の特徴づけがある

のどちらかが言えればいい