ALPHA: … The lemma-incorporating method relied on the argument -- … the lemma-incorporating theorem: 'All simple polyhedra with simply-connected … [i.e. the proof is the definition of the theorem, a label or name].
Google-1Google-2
Copyright clearance needed for quotation.
Related Topics
Topic: mathematics by proofs and refutations (31 items)