数学的预设与生成