それぞれ、以下のように置換します。v).では、証明しましょう。保証する概念なのです。集合の対等とか作図の合同とか価値の等価とかの概念を保証するのです。]以上に述べた置換のやりかたを習得しておいてください。冠頭量化記号の外しかたや置換のやりかたが多用されています。7月16日)この証明例題は、われながら、なかなか良い例題を選んだなと思っています。あっても、追跡できる簡単な証明だから。思い浮かばない着想は、全称を単称で置換するという手続きでしょう。実際に--仕事のなかで--、こういう証明をすることは、まず、ないと思うのですが、この証明を追跡して、置換の手続きが証明のなかで大切な役割をはたしていることを認識すれば良いでしょうね。すれば、数学基礎論の他の書物を読んでいて、証明がいくつも出てきて、それらの証明のなかで置換が使われていても、納得することができるでしょう。読んだときに、それを切に感じました。