第一批数学家将数学视为所有可能真理的搜索空间。