Potenzmengenaxiom

  • Wikidata: Potenzmengenaxiom (Q1077811)