これの命題 2.10 の後半の、$id \otimes f$ が単射になるかわからないです。本には証明が書いてない。

代数概論の最初の方なんですが、この (1) の一つ目の式が示せない…

はじめまして.ツイッター凍結しちゃって数学科でもないし聞ける人がいないのでここに書きます.田中先生の『山の上のロジック学園』を読んでいます.p137 の $\Sigma_1$ 健全性から 1-無矛盾性 を示すところ(添付画像の赤線の部分)で,$x$ がなぜ自然数に対応するのかがわからないという感じです.

Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.