In article <67281815-918f-4f3d-85dd-674f22e6fb31@c10g2000yqi.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> Reason: Cantor either proves that a countable set is uncountable or > that a constructible/computable/definable number is not constructible/ > computable/definable.