Kategorie:Theorie der Potenzierung der natürlichen Zahlen/Definitionen