En general, la tesis de Church se considera un postulado sobre matemáticas.