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/

Kategoriler:

mathematical proof