数理論理学入門

ファイルを更新しました。

こちらになります。

今回の更新は、ミスプリの訂正です。

保存拡大の定理 (p.107) の場所です。