El principal problema de la lógica matemática recibe el nombre del ""problema decisorio"", ya que si se encuentra un algoritmo que determine si una inferencia es válida o no, esto permitiría resolver cualquier problema matemático utilizando simplemente la lógica de primer orden.