公理化こうりか<こう'り>・か0

AxiomatisierungAxiomatisieren