analytic proof

proof that does not use the cut rule

en-GB/ˌænəˈlɪtɪk ˈpɹuːf/
en-US/ˌænəˈlɪtɪk ˈpɹuf/

分类：

mathematical proof