Las ciencias formales (la matemática y la semántica filosófica) estudian los constructos y sus propiedades conceptuales como si fueran autónomos, pero sin suponer necesariamente que existen realmente, que es el postulado fundamental del idealismo.