Disciplinas que defienden sus teoremas mediante el uso de la razón y de la deducción, sin recurrir a la experimentación. Estas ciencias engloban dos tipos de conceptos: los axiomas, proposiciones que resultan evidentes por sí mismas, que no requieren demostración y que resultan la base de otras proposiciones de carácter más complejo (por ejemplo, “el todo es mayor que cualquiera de las partes que lo conforman”); y los teoremas, de mayor complejidad, que parten de otros teoremas y axiomas. Las bases de las ciencias formales residen en la consistencia, la completitud e independencia.