Теорема — это утверждение, являющееся следствием заданного набора аксиом. 3 По сути, теорема не создаёт новое знание, а удобно формулирует некий частный случай. 3

Теория может иметь разные значения в зависимости от того, где она применяется. 3

• В логике теория — это множество утверждений в некотором формальном языке, грубо говоря — все имеющиеся аксиомы и все выводимые из них теоремы вместе. 3
• Научная теория — это система знаний в некоторой области, подтверждённая экспериментом и позволяющая делать предсказания результатов новых экспериментов. 3

Таким образом, основное отличие в том, что теорема доказывается на основании аксиом, а теории подтверждаются или опровергаются фактами. 2