A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.

 
  • 引理,辅助定理被认为是合理且被用于证明主要命题的次要命题
今日热词
目录 附录 查词历史