「#量化子」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

“量化子”により世界を記述できるのか考えている．肝は“条件”．

1年前

1

集合と論理（２）

2年前

5

数学（2022/5/6）:キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備（一階述語論理、直観主義論理、（厳格な）構成主義的数学）

2年前

2