>>194310
Accepterer du udvalgsaksiomet? Som konstruktivist afviser jeg det, men jeg accepterer aksiomet om afhængigt udvalg.

A couple of notes on the terminology:

"Udvalgsaksiomet" is the standard Danish name for the Axiom of Choice.
For Dependent Choice, "aksiomet om afhængigt udvalg" keeps the parallel with "udvalg"; you'll also see "afhængigt valg", and many Danish mathematicians simply write "DC".

>>194311