Le calcul des propositions traite chaque affirmation comme un bloc. Le calcul des prédicats, ou logique du premier ordre, ouvre ces blocs : il y distingue des objets, des propriétés et des relations, et sait dire « pour tout » et « il existe ». C’est le langage dans lequel s’écrivent les mathématiques.