generated at
2/21/2025, 8:03:40 PM
公理図式
from
置換公理
公理図式
https://ja.wikipedia.org/wiki/公理型