Ruang (matematika)

Aksioma-aksioma euklidean tidak meninggalkan kebebasan, mereka menentukan secara unik semua sifat geometri dari ruang. Lebih tepatnya: semua ruang euklidean berdimensi-tiga adalah saling isomorfik. Dalam hal ini kita memiliki ruang euklidean berdimensi-tiga "tertentu". Dalam suku-suku Bourbaki, teori yang berkorespondensi dengannya adalah univalen. Sebaliknya, ruang-ruang topologi pada umumnya non-isomorfik, teori mereka adalah multivalen. Gagasan yang serupa muncul dalam logika matematika: suatu teori dikatakan "kategoris" jika semua modelnya yang berkardinalitas sama adalah saling isomorfik. Menurut Bourbaki, kajian teori-teori multivalen adalah fitur yang paling mencolok yang membedakan matematika modern dari matematika klasik.