Consistency: a proof that no contradiction can be obtained in the formalism of mathematics.
Последовательность: доказательство того, что в формализме математики не может быть получено никакого противоречия.