door TD » di 17 jan 2012, 18:52
vanwingerde93 schreef:Dus
Stel B\A is wel aftelbaar, dan is de deelverzameling A dus ook aftelbaar.
Nee, dat A aftelbaar is, was gegeven ('Als A aftelbaar is...').
Dan zou de vereniging van A en B\A ook aftelbaar moeten zijn want in tegenstelling is met gegeven.
Dat wel: veronderstel B\A aftelbaar, dan is de unie met (aftelbare) A ook aftelbaar terwijl er van B gegeven was dat...
[quote='vanwingerde93' post='713448' date='17 January 2012, 17:04']Dus
Stel B\A is wel aftelbaar, dan is de deelverzameling A dus ook aftelbaar.[/quote]
Nee, dat A aftelbaar is, was gegeven ('Als A aftelbaar is...').
[quote]Dan zou de vereniging van A en B\A ook aftelbaar moeten zijn want in tegenstelling is met gegeven.[/quote]
Dat wel: veronderstel B\A aftelbaar, dan is de unie met (aftelbare) A ook aftelbaar terwijl er van B gegeven was dat...