построение конкретных моделей для проверки непротиворечивости аксиом
бесконечные дробиДедекиндовы сеченияпоследовательность Коши