有限主義(下記Finitism)を想定しているのかな? ” and with development of axiomatic set theories such as Zermelo?Fraenkel set theory and the lack of any evidence against its consistency, most mathematicians lost interest in the topic. ” と書かれています。Finitismは破綻したんでしょ? 7https://en.wikipedia.org/wiki/Finitism Finitism Hilbert's goal of proving the consistency and completeness of set theory or even arithmetic through finitistic means turned out to be an impossible task due to Kurt Godel's incompleteness theorems.
In the years following Godel's theorems, as it became clear that there is no hope of proving consistency of mathematics, and with development of axiomatic set theories such as Zermelo?Fraenkel set theory and the lack of any evidence against its consistency, most mathematicians lost interest in the topic. Today most classical mathematicians are considered Platonist and readily use infinite mathematical objects and a set-theoretical universe.[citation needed]