2025.01.25
https://gyazo.com/9d6ecf21ff154764a419e19824f7c2a3
メモ
$ \mathfrak{M}_1が$ \mathfrak{M}_2を$ T上で定義する，という2項関係$ \mathfrak{M}_1 <^\mathrm{def}_T \mathfrak{M}_2は非反射的かつ推移的な関係になる．
適当に$ \mathrm{Con}_\mathbf{PA}が成り立たないようなモデルの周辺で切ってしまえば上手く有限なものとして扱えるみたいな話がある？
よくわからん ちゃんと見てみよう
メモ
実はちゃんと知らなかったかもしれない（照）
観た
バトルジャンキー