Q.素朴集合論における逆理の解消こそ
　数学基礎論の究極目的ではないのか？

A.その考え方は間違っている。
　そもそも、素朴集合論の逆理は
　ツェルメロの分出公理によって
　解消された。
　無矛盾性の証明はできないし必要ない。
　ここは数学史スレではないから
　既に終わった、数学の歴史については語らない。