彼の人の言う意志は数学をやることを指すみたいだけど
数学内で元(この場合コーシー列)を指定することをもそう捉えてるんだな
数学における実在とは何かみたいな不毛な哲学論争に陥りやすいかも