>>166
>正則性の公理を導入した目的である“ラッセルのパラドックス”
誤り　内包の公理があるなら、正則性の公理でラッセルのパラドックスは防げない
実際は、内包の公理を分出公理に改めたのでラッセルのパラドックスが防げた

一般に矛盾する理論に公理を追加しても無矛盾にはならない