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