Construcción y aplicación de un sistema axiomático