Predicate logic could be seen as a modern system with some of these universal characteristics, at least as far as mathematics and computer science are concerned.
ويمكن النظر إلى منطق المسند على أنه نظام حديث يحتوي على بعض هذه السمات العامة، على الأقل فيما يتعلق بالرياضيات وعلوم الكمبيوتر.