>>408
集合論の基礎が作られていた頃問題になりました
ZFCなど、論理式によって集合を形式化することに成功したため解決しました
その論理式は数理論理によって形式化されます