History

for article: Set-theoretic definition of natural numbers