Kaku kanthi dhasar inggih punika prakawis bukti matématika. Para matématikawan kepéngin téorémanipun numuti aksioma-aksioma kanthi maksud panalaran ingkang sistematik. Pupunika kanggé nyegah "téoréma" ingkang salah pundhut, dipundhasaraken dhumateng pradugi kagagalan, ing pundi kathah conto naté muncul ing salebetipun sajarah subjèk punika. Tingkat kakakuan dipunajengaken ing salebetipun matématika tansah éwah sapanjangipun wekdal: bangsa Yunani ménginaken dalil ingkang kaprincèn, nanging ing wekdal punika métode ingkang dipungunakaken Isaac Newton kirang kaku. Masalah ingkang nèmpèl ing dhéfinisi-dhéfinisi ingkang dipungunakaken Newton bakal ngarah dhumateng munculipun analisis saksama lan bukti formal ing abad angka 19. Sapunika para matématikawan taksih teras adu argumèntasi prakawis bukti mawi bantuan-komputer. Amargi pangétangan ageng awrat sanget dipunpriksa, bukti-bukti punika mbok manawi kémawon boten cekap kaku.