2017-04 は集合論を主に学びました --- 最近は集合論を学んでいたようですね そうですね。正確にはBNGの公理的集合論を学んでいたというのが正確な表現になると思います。公理的集合論というのは、カントールが開拓した集合論（素朴集合論）を、論理学の方法…