遅ればせながら、明けましておめでとうございます。本年もよろしくお願いいたします。さて、話題の方は昨年からの続きです。 置換公理図式 置換公理図式 が の論理式ならば、次の形の論理式は公理である。 ただし、 は z , v を自由変数として含まないものと…