• Dom
  • analytic proof

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/

Kategorie:

mathematical proof