A lògica de primmo ordine a l'é un exempio de lenguaggio formale.