El otro tipo de afirmaciones a las que se hace referencia diciendo: «afirmación no trivial», son los teoremas, que son afirmaciones no tan triviales y muchas veces poco intuitivas.