数学基礎論入門 (基礎数学シリーズ)作者:昭二, 前原朝倉書店Amazonこちらの書籍に登場する、 定理7.1 関係 は論理式 で表現されるの「証明」について考えます。まず、表現可能性の定義より、次の2つの「事実」が「検証」できればよいことになります。 1. 2. …