Johans lemman
Version från den 27 mars 2012 kl. 16.51 av Johan Sannemo (diskussion | bidrag) (Ny sida: '''Johans oändligt många självrefererande rekursiva lemman''' är ett bevis av den väldigt användbara Mårtens sats. Det första lemmat lyder: Mårtens sats gäller. Det andra le...)
Johans oändligt många självrefererande rekursiva lemman är ett bevis av den väldigt användbara Mårtens sats.
Det första lemmat lyder: Mårtens sats gäller.
Det andra lemmat lyder: Johans första lemma gäller.
Det [math]\displaystyle N[/math]:te lemmat lyder: Johans [math]\displaystyle N-1 [/math]:te lemma gäller, för alla naturliga tal [math]\displaystyle N[/math]
Då varje lemma bevisas av något annat lemma, måste självklart alla lemman vara sanna och därmed även Mårtens sats. Trots att inget lemma egentligen bryr sig om vad Mårtens sats säger.
Invändningar har uppstått mot Johans oändligt många självrefererande rekursiva lemman, t.ex. "Men.. så får man väl inte göra??". Men jo. Det får man. Det bara verkar inte så.
