Algoritme
Algoritme bisa diklasifikasikan berdasarkan jumlah waktu yang dibutuhkan untuk selesai dibandingkan dengan ukuran inputnya. Ada berbagai varietas: beberapa algoritme selesai dalam waktu linear relatif terhadap ukuran input, beberapa selesai dalam jumlah waktu yang eksponensial atau lebih buruh, dan beberapa berhenti. Sebagai tambahan, beberapa masalah bisa memiliki berbagai algoritme dengan kompleksitas yang berbeda, sementara permasalahan yang lain bisa saja tidak memiliki algoritme atau tidak diketahui algoritmanya yang efisien. Ada juga pemetaan dari beberapa algoritme terhadap permasalahan lain. Karena itu, lebih cocok untuk mengklasifikasikan permasalahan itu sendiri bukannya algoritme menjadi kelas-kelas yang sama berdasarkan kompleksitas dari kemungkinan algoritme terbaik baginya.
Matematika
Aksioma menurut pemikiran tradisional adalah "kebenaran yang menjadi bukti dengan sendirinya", tetapi konsep ini memicu persoalan. Pada tingkatan formal, sebuah aksioma hanyalah seutas dawai lambang, yang hanya memiliki makna tersirat di dalam konteks semua rumus yang terturunkan dari suatu sistem aksioma. Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang ; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil. Meski demikian, matematika sering dibayangkan (di dalam konteks formal) tidak lain kecuali teori himpunan di beberapa aksiomatisasi, dengan pengertian bahwa tiap-tiap pernyataan atau bukti matematika dapat dikemas ke dalam rumus-rumus teori himpunan.