Теорема

Матеріал з Вікіпедії — вільної енциклопедії.

Теоре́ма (грец. θεώρημα — «вигляд, уявлення, положення») — твердження, для якого в теорії, що розглядається, існує доказ (інакше кажучи, доведення). Вихідним пунктом для теорем є аксіоми, які приймаються істинними без всяких доказів або обгрунтувань.

У математичних текстах теоремами зазвичай називають тільки досить важливі твердження. При цьому необхідні докази зазвичай ким-небудь знайдені (виняток становлять в основному роботи по логіці, в яких вивчається само поняття доказу, а тому в деяких випадках теоремами називають навіть невизначені твердження). Менш важливі твердження-теореми зазвичай називають лемами, твердженнями, наслідками, та іншими подібними термінами. Твердження, про які невідомо, чи є вони теоремами, зазвичай називають гіпотезами.

[ред.] Дивіться також

• Математична логіка

Ця стаття не містить посилань на джерела. Ви можете допомогти поліпшити цю статтю, додавши посилання на надійні джерела. Матеріал без джерел може бути підданний сумніву та вилучений.

Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її.