19/08/21 21:21:49.59 1YNIVvH6.net
②は
「任意の自然数xに対して、α -> β -> P x」
α：￢(∀z::nat. (P z -> Q z))
β：((∀z::nat. (P z -> Q z)) -> (∀n::nat. P n))
です。
19/08/21 21:21:49.59 1YNIVvH6.net
②は
「任意の自然数xに対して、α -> β -> P x」
α：￢(∀z::nat. (P z -> Q z))
β：((∀z::nat. (P z -> Q z)) -> (∀n::nat. P n))
です。