اصطلاح مرجح
دستگاه اصل موضوعی
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای وابسته
اصطلاحهای نامرجح
-
نگرش اصل موضوعی
یادداشت دامنه
-
در این روش که بنیان گزار آن هیلبرت است منطق گزاره ها شامل تعدادی اصول موضوعه و یک قاعده (استنتاج) است.
در زبان های دیگر
axiomatic system
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007363