正則性公理って、代数・幾何・解析のようないわゆる通常の数学でも使われますか?