محسن خانی - آلمان، دانشگاه آلبرت لودویگ فرایبورگ

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

مبانی ریاضیات, نظریه مجموعه ها, بورباکی, هیلبرت, صورت گرایی