That is, while demonstrating the existence of such a set, it was not a constructive proof — it did not display "an object" — but rather, it was an existence proof and relied on use of the law of excluded middle in an infinite extension.
Δηλαδή, ενώ επιδείκνυε την ύπαρξη μιας τέτοιας ομάδας, δεν ήταν μία εποικοδομητική απόδειξη -δεν παρουσίαζε ένα "αντικείμενο"- αλλά μάλλον, ήταν μια απόδειξη ύπαρξης και βασιζόταν στη χρήση της Αρχής του Αποκλειόμενου Μέσου μέσα σε μια άπειρη επέκταση.