স্বতঃসিদ্ধমূলক সেট তত্ত্ব - অন্যান্য ভাষা