David Hilbert founded metamathematics as a discipline for discussing formal systems.
وقد أسس ديفيد هيلبرت الرياضيات كنظام لمناقشة الأنظمة الشكلية.