فهرست بنداشت‌ها

از ویکی‌پدیا، دانشنامهٔ آزاد.

در سیستم‌های مبتنی بر اصل موضوع چند اصل بدون اثبات پذیرفته می‌شود و بقیه احکام و قضایا بر اساس این اصول و با توجه به قواعد منطقی اثبات می‌شود.

در زیر فهرستی از این بنداشت‌ها می‌آید:

این نوشتار ناقص است. با گسترش آن به ویکی‌پدیا کمک کنید.
زبان‌های دیگر