Типы идеальных объектов и логика. Кантианские мотивы программы Гильбертатезисы доклада