作为儿童生活的数学，是一种非完全形式化的数学。