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