document_01 : foundation of mathematics ; constructions of mathematics
( in english )