Шындығында теорема жаңа білімді тудырмайды, бірақ белгілі бір ерекше жағдайды ыңғайлы түрде тұжырымдайды. «Теория» сөзі қай жерде қолданылатынына байланысты әртүрлі мағынаны білдіруі мүмкін. Логикада теория - бұл кейбір ресми тілдегі мәлімдемелер жиынтығы, шамамен алғанда - барлық қолда бар аксиомалар мен олардан бірге алынған барлық теоремалар.