Existe un paralelismo completo entre los razonadores que creen en proposiciones y los sistemas matemáticos que demuestran proposiciones.