فهرست نشریات علمی دسترسی آزاد ایران

در این مقاله، آدریان متایاس رویکر‏د بورباکی به مبانی ریاضیات، منطق‏، و نظریه‎‏ٔ مجموعه‌ها را به نقد کشیده‌ است.او معتقد است که بورباکی با اینکه از نتایج گودل در عدم امکان تکمیل برنامهٔ صورت‎‏‌گرایی هیلبرت برای ریاضیاتمطّلع بوده است، خود را به تجاهل زده و از آوردن نام گودل و اشاره به قضیه‌های او به‌کلی خودداری کرده است.پس از گمانه‌زنی دربارهٔ علت احتمالی این امر، نویسنده به تفاوت درک حسابی و هندسی در ریاضیات پرداخته است.به نظر وی‏، اصول تسرملو، که مورد تأیید بورباکی نیز بوده، برای جنبهٔ هندسی ریاضیات کافی‌اند، ولی جنبهٔ حسابی ریاضیات نیازمند اصول تسرملو‌-‌‌فرانکل است.