yardımcı teorem

deyim
  1. 1

    mant. mat. Tanıtlanması, bir teoremin tanıtlanmasına hazırlık oluşturan önerme.