公理化可能こうりかかのう<こう'り'か>・か'のう5

Math.AxiomatisierbarseinAxiomatisierbarkeit