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






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