Axiomatická teorie množin – Další jazyky