むかし>>1のテンプレを書いたものですが、
「素朴集合論における逆理の解消などを一つの動機として」
は
「集合論・解析学等の数学の基礎付けなどを動機として」
に変えた方が良いと思います。
前スレの571にも根拠を書きましたが。

しかし、巨星落つ、ですね