Teorema
De Enciclopedia Symploké, la enciclopedia libre.
Revisión a fecha de 11:58 20 ene 2005; Jmrp (Discusión | contribuciones)
Cualquier proposición demostrable, no primitiva, pero derivable de otras.
Cualquier proposición demostrable, no primitiva, pero derivable de otras.