Re: Bewijsvoering met aanname - correctheid
Geplaatst: za 04 aug 2012, 20:01
@Bartjes: Weet jij misschien ergens waar ik zo'n poging daartoe zou kunnen vinden (en dan niet meetkundig maar algebraisch)? een poging tot een simpele lijst van stellingen, en welke andere stellingen er gebruikt zijn bij het bewijzen van die stelling? Als het een boek is investeer ik daar graag een paar tientjes in, want dat vereenvoudigt een hoop werk en discussie, plus ik voel me al thuis in die manier van redeneren.