Un sistema formal ,como la geometría , es contante si no se pueden probar simultáneamente una preposición y una negación verdad o falso