3 commits

Author	SHA1	Message	Date
Dimitri Lozeve	92d759a9bf	Add tables of contents to posts	2020-07-20 10:38:47 +02:00
Dimitri Lozeve	275e10e3df	Update references in Peano post	2019-04-03 23:41:05 +02:00
Dimitri Lozeve	5edc5f3d29	Peano Axioms	2019-03-18 21:08:48 +01:00