En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, [...]