الرياضيات, الفلسفة, المنطق, علوم الحاسوب

الميتا نظرية (Metatheorem)