مفهوم تعریف‌نشده
undefiend concept
absurd
باطل
شهود
intuition
اصطلاحات عمومی
general terminology
بی‌نهایت کوچک
infinitesimal
hypothesis
فرض
ambiguous
مبهم
cylindrical construction
ساختمان استوانه‌ای
assertion
تصدیق
rejection
عبارت
statement
syllogism
قیاس
شرط
condition
consequent
تالی
true
راست
complexity of proof
پیچیدگی برهان
definition
تعریف
algebraic logic
منطق جبری
paradox
پارادکس
register
ثبات
non-standard model
مدل نااستاندارد
شی منطقی
logical object
non-standard arthmetic models
مدل‌های نااستاندارد حساب
نادرست
false
trivial
بدیهی
Boolean logic
منطق بولی