TEACHER … my method of lemma-incorporation upholds the proof but … while a counterexample which is both global and … the original conjecture, but not the lemmas. … [p. 37] TEACHER: I hope that now all of … conjecture. The exception-barrers improved it too, but improving … discovery' and the 'logic of justification' is the … [p. 49] LAMBDA … This is why I would propose to rechristen …
Google-1
Google-2
Copyright clearance needed for quotation.