Kelleyova–Morseova teorie množin – Další jazyky