Errett Bishop argued that the axiom of choice was constructively acceptable, saying A choice function exists in constructive mathematics, because a choice is implied by the very meaning of existence.
Errett Bishop υποστήριξε ότι το αξίωμα της επιλογής ήταν εποικοδομητικά αποδεκτό, λέγοντας "Μια συνάρτηση υφίσταται στα δομημένα μαθηματικά, επειδή η επιλογή της συνάγεται με το ίδιο το νόημα της ύπαρξης».