analytic proof

proof that does not use the cut rule

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

الفئات:

mathematical proof