「#タルスキの定義不可能性定理」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

数学（2023/2/26）：記号をゲーデル数ではなくもっと弱い何かで代替した方が良いのではないか

1年前

5