de C; donde se construye según un sistema formal partiendo de unos postulados y teoremas de ellos deducibles.