Proposición que afirma una

verdad demostrable.