2026.05.22
https://gyazo.com/3f1075b2814cc6aafc7892df26090bb7
メモ
論理学とは主張の流れを見るものではなく，あくまでも「$ Pである」という根拠$ \ulcorner P \urcornerというよりコンクリートなもののの操作なのではないだろうか．．．
$ \exists x \in \N, x + 2 = 3という主張をするためには$ \ulcorner \exists x \in \N, x + 2 = 3 \urcornerという証拠つまり$ 1が無ければならない
思った
何を？