2025.08.24
メモ
https://gyazo.com/c27ba91f170170143272e3a222f5928b
任意の$ nに対してYablo文$ \mathrm{Yab}_T(\overline{n})は$ Tで証明できない を形式化した．
めっちゃ面倒だったのと，コンパイルがおもすぎて検証が出来てない
思った
薬を飲んでから，メチャクチャな夢を大量に見るようになった．
存在しないゲームを4時間遊んだ．おもしろかったし ，記憶すらある．しかし完全にオリジナルらしい．しかも頑張れば作れそうな気がする．
メモ
https://nicothumb2img.vercel.app/image/sm45330770#.png https://nico.ms/sm45330770
本当に偉大な合作がこの世に生まれてきてうれしい