An inductive definition of construction in mathematics. - Wong, Maurice (The Philippine scholastic)