Axiomet, som först formulerades av Ernst Zermelo 1904 och har flera viktiga matematiska tillämpningar, har ansetts vara mindre konstruktivt än Zermelos övriga axiom, eftersom det inte finns någon garanti för att man kan konstruera någon specifik funktion f av det angivna slaget. Kurt Gödel har visat att axiomet inte