Sistem Satuan Internasional
Sistem Besaran Internasional ("International System of Quantities", ISQ) adalah sistem yang berbasis pada 7 [[besaran]] dasar: [[dimensi panjang|panjang]], [[massa]], [[waktu]], [[arus listrik]], [[temperatur termodinamik]], [[jumlah zat]], dan [[intensitas cahaya]]. Besaran lainnya seperti [[luas]], [[tekanan]], dan [[hambatan listrik]] diturunkan dari besaran pokok ini. Sistem besaran internasional mendefinisikan besaran yang diukur dengan satuan-satuan SI. Sistem besaran internasional didefinisikan dalam standar internasional [[ISO/IEC 80000]], dan difinalisasikan tahun 2009 dengan publikasi [[ISO 80000-1]].
Sistem aksioma
Seringkali suatu definisi dapat dijelaskan latar belakangnya. Contohnya adalah definisi gabungan dua himpunan. Tujuan menggabungkan dua himpunan adalah agar anggota himpunan gabungannya bertambah banyak. Agar tujuan ini tercapai , syarat keanggotaannya harus diperlemah. Jika himpunan yang digabungkan adalah A dan B, maka cara memperlemahnya adalah dengan memilih salah satu syarat , anggota dari A , atau anggota dari B. Berdasarkan ini, gabungan dua himpunan harus didefinisikan sebagai A U B = { x | x ∈ A atau x ∈ B }.