Ierste-orde logica is ‘n veurbeeld vaan ‘n formele taol.