De hecho sucede esto en Lógica matemática.