La méthode axiomatique permet de définir l'ensemble des lois logiques du premier ordre à partir d'axiomes logiques et de règles de déduction de telle façon que toutes les lois logiques soient ou bien ...