公理的集合論 - 他の言語