Пример последовательного антиплатонизма: Витгенштейн о теореме Гёделя и диагональной процедуре Канторастатья