|
"Insieme di assiomi utili per dimostrare teoremi"@it
"System von unbewiesenen Annahmen"@de
"conjunto de axiomas para deduzir teoremas matematicamente"@pt
"conxunto de axiomas a partir dos que algúns ou todos os axiomas poden usarse en conxunto para derivar loxicamente teoremas"@gl
"ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes"@fr
"množina axiomů, ze kterých lze odvozovat další sentence"@cs
"set of axioms from which some or all axioms can be used in conjunction to logically derive theorems"@en
"teoremlərin məntiqi yolla çıxarılması üçün birlikdə istifadə olunan aksiomlar toplusu"@az
"由若干公理组成的集合，其中部分或全部公理可相互结合，从而依逻辑推导出定理或结论"@zh
|