冪集合よりも正則性公理の方が使い道が分からない