「現場の集合論としての有界素朴集合論」において、プログラミング言語やデータベースを扱うときは、そんなに立派な集合論は要らないだろう、という話をしました。プログラミング言語やデータベースを扱うことを現場的日常作業と考えましょう。すると、日常…