Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01143330n
Noun Concept
AR
تبسيط الحقائق  نظام البديهي
EN
Any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. Open English WordNet
Relations
Sources
IS A
نظام شكلي
مجموعة
نظرية
عملية
HAS PART
بديهية
تبسيط الحقائق
PART OF
تبسيط الحقائق
HAS KIND
EN
decision model
EN
Kripke–Platek set theory with urelements
EN
axiomatic set theory
HAS INSTANCE
هندسة إقليدية
EN
Tarski's axioms
بديهيات بيانو
EN
Kuratowski closure axioms
EN
Typographical Number Theory
+5 relations
DIFFERENT FROM
نظام شكلي
EN
axiomatic method
FIELD OF WORK
نظرية
تبسيط الحقائق
HAS PARTS OF THE CLASS
بديهية
HAS QUALITY
EN
completeness
اتساق
PRODUCT OR MATERIAL PRODUCED
تبسيط الحقائق
USED BY
مبرهنة
Wikipedia Translations
AR
تبسيط الحقائق, نظام البديهي

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License