Constructive Math — Entidade