2023.01.13
https://www.youtube.com/watch?v=GyovOlnBozw
読みたい
観た
思った
https://gyazo.com/9f9a15ac5bae3d8a609220319771f532
嘘Gödel数化記号
https://gyazo.com/5da31c2f3b9cadd42e0634cf336eb59e
なんか妙に下付き文字が下過ぎる気がする
$ E_{\varphi_1},E_{\varphi_2},\dots,E_{\varphi_n}
より顕著な例
https://gyazo.com/4dcec1d7ac80ad3c9dca58c7e2b17908
$ \psi_{j_1},\dots,\psi_{j_n}