Los teoremas en LCF son proposiciones del tipo de dato abstracto teorema.