Axiom závislého výběru – Další jazyky