History

for article: Peano–Russell notation