Von Neumannova–Bernaysova–Gödelova teorie množin – Další jazyky