Naar mijn smaak zou ik de precieze verklaring precies "herinneren" wanneer u die nodig heeft, in de binnenkant van uw bewijs, zoals u lijkt aan te geven. Zelf ben ik ooit een voorliefde geworden voor een wiskundige schrijfstijl die niet zo veel heen en weer hoeft te bladeren om te begrijpen wat er wordt gezegd. (Vooral de anders zo precieze quasi-Bourbaki van het verwijzen naar dingen door een (noodzakelijkerwijs kunstmatige en zinloze) nummeringsregeling, in plaats van enige vorm van beschrijvende verwijzing.)

In het bijzonder voor de bewering (in plaats van bewijs) van een resultaat, zou het toevoegen van een bijlage het voor veel mensen moeilijker maken om te lezen, en de mensen die het resultaat al kennen, zouden er niet veel bij winnen. Bekende dingen overslaan is gemakkelijker dan heen en weer bladeren.

Dat wil zeggen: je lezers toestaan ​​om door te lezen lijkt mij het ideaal. Dus nee, evenzo, introduceer niet alle notatie aan het begin en verwacht dan dat mensen het onthouden. Natuurlijk zou je een appendix kunnen hebben als referentie voor notatie, maar het zou echt uitgelegd moeten worden wanneer het voor het eerst gebruikt , ... naar mijn mening. Dat soort dingen.

Overweeg om een ​​appendix / bijlage bij het proefschrift te hebben waarin je dingen noemt die essentieel zijn voor je betoog en die je lezer misschien wil zien zonder ergens anders naar te kijken. Voor sommige dingen, misschien ook in dit geval, kan een citaat in een voetnoot van het lemma, inclusief de naam, voldoende zijn, aangezien de meeste mensen die naar waarschijnlijkheid werken, het bij naam kennen. Verwijs dan, als een stap om het huidige lemma / theorema te bewijzen, naar de voetnoot of het aanhangsel. De lezer kan een omweg maken als hij dat nodig acht.

Maar je hebt gelijk als je het niet moeilijk maakt om de stroom van een bewijs te volgen.

Een volledige verklaring van zoiets kan nodig zijn als u een variatie of een uitbreiding van dat ding zou bewijzen. En in dat geval kan het nodig zijn om de verklaring en misschien zelfs een proefomtrek van het origineel in de tekst zelf te verwerken, zodat het duidelijk is hoe u uitbreidt / wijzigt.