Struktur abstrak

Struktur abstrak adalah suatu kumpulan entitas tak terdefinisi yang didefinisikan secara umum melalui berbagai aksioma atau postulat. Contoh-contoh struktur abstrak adalah konsep group, gelanggang, ruang vektor, konsep garis, konsep titik, dan sebagainya. Bahkan sebuah bilangan asli pun sebenarnya adalah sebuah konsep abstrak walaupun biasanya diasumsikan bahwa setiap orang secara intuitif 'sudah tahu' dan sudah 'cukup mengenal' bilangan asli sehingga tak perlu lagi diajar, diberitahu atau sekadar diperkenalkan dengan definisi formal bilangan asli. Salah satu cara memperkenalkan konsep himpunan semua bilangan asli sebagai sebuah struktur abstrak adalah melalui aksioma Peano.