من بوتنام (إثبات النظرية الشكلية للنظرية) إلى الاكتشاف الرياضي الجديد، تعال وقدم عملا رائعا معنا في أكسيوم