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