第一批數學家將數學視為所有可能真理的搜尋空間。