Какие из перечисленных задач включены в программу Гильберта?

выявить «неизмеримые множества», которые не могут быть ни множествами, т.к. содержат противоречие, ни классами, т.к. отношения между классами определяются как бинарные отношения ε, не содержащие противоречия.
доказать непротиворечивость полученной теории, т.е. доказать, что в этой теории никакое утверждение не может быть доказано вместе со своим отрицанием.
представить существующую математику, в частности теорию множеств, в виде формальной теории.

Для просмотра статистики ответов нужно залогиниться.