どうもドキュメントだとかフォルダとかに馴染めず結局ひとつのドキュメントに全部寄せてしまってますちがうドキュメントにあると目につかないんですよねー そこがいいという人もいると思いますが自分はときどき目につくほうがいいと思ってますDynalistでも全…

定義35 xは公理II-nから得られる"論理式"である 定義36 xは公理IIから得られる"論理式"である (define (IsSchemaII n x) (case n ((1) (∃ p ≦ x (and (IsForm p) (= x (Implies (Or p p) p))))) ((2) (∃ p q ≦ x (and (IsForm p) (IsForm q) (= x (Implies p…