Follow

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

@mathmathniconico 投げておいてずっと気づかなくてごめんなさい、、、一応これです。

@minerva そうだ、この前のやつですが、自然数の上に理論を作ってたりするんじゃないですかね? すみません詳しくない身でお答えして。

@mathmathniconico あの本自体読み物系の本なので、必要な仮定とか全部書いていないかもしれないし、基礎がなってないのにああいう本に手を出したことを後悔しましたね。新井基礎論からやり直します…

Sign in to participate in the conversation
Mathtodon

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