2024.10.14

思った

「本当に実在するんですね」と言われるのは何回あってもうれしいですね　もう5回ぐらい言われています　ちょっと言われ過ぎでは　えっ　私の実在性、低過ぎ…？

対面の場なのに普通にスノーマンさんと呼ばれちゃってます（照）

おれだけオフ会すぎ

思った

県をまたぐ移動をサンダルでしない

Memo

GLの完全性証明の形式化において、反例木モデルを自然数上のものとしてとれるようにした補題を用意する

算術的完全性証明において有用

出来るのだろうか？