I don’t see why a complement would be inelegant. It’s just one extra bit of specification.
Now, non-definable non-computable numbers (or sets), they are inelegant :-)
I don’t see why a complement would be inelegant. It’s just one extra bit of specification.
Now, non-definable non-computable numbers (or sets), they are inelegant :-)