https://infosekolah.net/en/Axiom_of_global_choice