>>274
命題Aを γ∈Q なる命題とすれば、γは実数だから、￢A は γ∈R＼Q という命題を表し、
￢(￢A)≡A が成り立つから、γ∈R＼Q を仮定して矛盾が得られれば γ∈Q は真
という議論の進め方は分かる筈だが