١٩٣١ - يبرهن عالم الرياضيات الأمريكي النمساوي الأصل "كيرت غودل" على أن أي نظام رياضي يحتوي قوانين الحساب يجب أن يكون نظاماً متناقضاً أو غير كامل.