first-order theory - Englisch Synonyme Wörterbuch