Jólfundált (matematika) - További nyelvek