اعتبرو بعض الشكليين الآخرين، بحال رودولف كارناب وألفريد تارسكي وهاسكيل كاري، أن الرياضيات هي الاستقصا في أنظمة البديهيات الرسمية.