「素朴集合論における逆理の解消などを一つの動機として」
は
「集合論・解析学等の数学の基礎付けなどを動機として」
にして欲しかった