١٩٣٥ - يبرهن عالم الرياضيات الأمريكي "ألونزو تشيرتش" على عدم وجود طريقة وحيدة لإثبات أية صيغة رياضية. معلمة maalama.com
