«منطق به صورت نامحدود … صوری نیست. اگر چنین بود، بدون محتوا میبود … هیچ علمی کاملاً صوری نیست» در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیههای سازگاری و استقلال برای این نظام، راهحلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایهگذار …
مطالعه بیشتر »