폰 노이만-베르나이스-괴델 집합론 - 다른 언어