ProjectOverview • 156

N additive
natural numbers/Peano
N multiplicative
countable set
Induktion
abz