Metadata
Author: WikiMatrix
Data
Danish[da]
Disse resultater bidrog til at etablere en førsteordens prædikatslogik som den dominerende logik, der anvendes af matematikere.
Hungarian[hu]
Ezen eredményeknek köszönhetően az elsőrendű logika a matematikusok által leggyakrabban használt logika.