Исходное положение , принимаемое без доказательств и лежащее в основе доказательств истинности других положений Spec
Положение , принимаемое без доказательств Lib
1) Аксиома - Исходное положение, принимаемое без доказательств и лежащее в основе доказательств истинности других положений Spec
2) Аксиома - Положение, принимаемое без доказательств Lib
Исходное положение , принимаемое без доказательств и лежащее в основе доказательств истинности других положений Spec
Положение , принимаемое без доказательств Lib