Dimostrazione su wikipedia

http://it.wikipedia.org/wiki/Insieme_delle_parti

Seguendo questo indirizzo è possibile leggere la dimostrazione per induzione sulla cardinalità dell'insieme delle parti (paragrafo insiemi finiti).

Mi domando, ma l'isieme T che viene usato per definire l'ipotesi induttiva, nello sviluppo del passo induttivo non andrebbe sostituito con S ??

Spero di essere stata chiara.
Fatemi sapere !!

Nicoletta ha scritto:Mi domando, ma l'isieme T che viene usato per definire l'ipotesi induttiva, nello sviluppo del passo induttivo non andrebbe sostituito con S ??

Beh, direi di si. Voglio dire, l'insieme lo puoi chiamare anche Paperino, ma se lo chiami S nella base dell'induzione dovresti chiamarlo S anche nel passo induttivo, giusto per omogenità...
Potresti correggerla se ne hai voglia