Post #697

I believed that it was so clear that axiomatization in terms of sets was not a satisfactory ultimate foundation of mathematics that mathematicians would, for the most part, not be very much concerned with it. But in recent times I have seen to my surprise that so many mathematicians think that these axioms of set theory provide the ideal foundation for mathematics; therefore it seemed to me that the time had come for a critique. — Thoralf Skolem, Some remarks on axiomatized set theory (1922) 22-ой год, Программа Гильберта опубликована была только год назад!