axiom of choice; w skrócie: AC), obok symboliki ZF, stosuje się także niekiedy – przy okazji posługiwania się aksjomatyką Zermela-Fraenkla, wzbogaconą dodatkowo o przyjęcie wspomnianego przed chwilą aksjomat wyboru – oznaczenie „ZFC” (litera „C” w tym oto napisie, ma w zamyśle pochodzić wówczas od słowa choice, z wyrażenia axiom of choice). Takie oznaczenie bywa wykorzystywane zarówno po prostu dla przywołania teoretycznego takiego oto konkretnego systemu aksjomatycznego; jak też i na przykład dla zaznaczenia (jeśli określony dyskurs już w domyśle odbywa się jedynie wokół rozważań na temat aksjomatów Z-F), że przeprowadzenia dowodu jakiegoś twierdzenia, istotny okazuje się być aksjomat wyboru (co oznacza, że twierdzenie można udowodnić przy wykorzystaniu AC; i zarazem że przyjęcie zdania ¬AC, prowadzi nas do negacji zdania, stanowiącego tezę rzeczonego twierdzenia).