Apa perbedaan spesifik antara lemma dan algoritma?
Pernyataan terbukti yang digunakan untuk membuktikan pernyataan lain disebut lemma.
Serangkaian langkah yang terdefinisi dengan baik yang digunakan untuk membuktikan atau memecahkan masalah disebut algoritma. Secara formal keduanya memiliki seperangkat pola yang sama tetapi menunjukkan dalam arti yang berbeda.