These results helped establish first-order logic as the dominant logic used by mathematicians.
Disse resultater bidrog til at etablere en førsteordens prædikatslogik som den dominerende logik, der anvendes af matematikere.