selecciona un axioma del menú y da clic una y otra vez en el botón "generate" de la parte inferior para verlo y escucharlo.

Esta aplicación fue desarrollada por Amaury Acosta, Darío Alatorre y Rodrigo Medellín.