Исходное положение, принимаемое без доказательств и лежащее в основе доказательств истинности других положений Spec





Ссылка на выделенный текст