El nombre proviene de Arend Heyting, quien fue el primero en proponerla.