Without using countable choice, it is not possible to constructively prove the fundamental theorem of algebra for complex numbers based on the Dedekind real numbers (which are not constructively equivalent to the Cauchy real numbers without countable choice).
Χωρίς να χρησιμοποιήσουμε μετρήσιμη επιλογή, δεν είναι δυνατό να αποδείξουμε εποικοδομητικά το θεμελιώδες θεώρημα της άλγεβρας για μιγαδικούς αριθμούς βασιζόμενοι στους πραγματικούς αριθμούς Dedekind(?) (οι οποίοι δεν είναι εποικοδομητικά  ισοδύναμοι με τα πραγματικά νούμερα Cauchy χωρίς μετρήσιμη επιλογή).