>>474
＞ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
今、wiki見たら、早速修正した人がいるみたいですね

正則性公理
https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86

「ここで、Vは集合論の宇宙を指し、WFはwell-founded set全体のクラス（フォン・ノイマン宇宙）を指す。」

フォンノイマン宇宙＝整礎集合の全体、は自明なのでおかしいとおもってたんですよね
誤りが正されてよかったです