ارسطو پس از سامان یک نظام برهانی در تحلیلات ثانوی، کتاب را با پرسش از مبادی برهان به پایان می‌برد که سلسله‌وار به اصل‌هایی می‌رسند که نخستین و ضروری‌اند و نمی‌توان آنها را دیگر از راه استدلال برهانی شناخت. آنها گزاره‌هایی‌ هستند که بر محور یک مفهوم کلی استوار شده‌اند و ضرورتشان از آن روست که محمول از دل خودِ این مفهوم برآمده است. از این رو، ادراک مبادی برهان روی دیگر ادراک کلی‌هاست. اما این اصل‌...

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...