1) Teorema - (din teoreticul grecesc - consider) - o poziție științifică.
2) Teorema - (teoreticul grec - cred, cred) - în Sovrem. logica formală și matematică orice sumă licitată gât-Swarm construit strict teoria deductivă (de ex. axiomatice) la-Roe prezentat (afișat) prin aplicarea pe poziția inițială a teoriei (axiomele) și (sau) teoriei propunerilor deja dovedit admisibilă pentru această teorie regulile inferenței. În sistemele sintactice clasa T este echivalentă cu clasa formulelor deductibile; în sistemele semantice clasa axiomelor și T. coincide cu clasa adevăratelor propoziții ale acestei teorii. Distincția dintre axiome și T. in anumite cazuri: aceeași ofertă teorie gât-roi, în unele cazuri, pot fi luate ca axiome, etc.-a fi dovedit a fi T. Din acest motiv, de multe ori se face referire la T. și axiome. T. la- formulat față de o anumită teorie (în mod obișnuit formal sau formalizate) și au dovedit mijloace meta informative ale acestei teorii sunt numite Metatheorem (de ex. T. deducere).
(din teoreticul grec - consider) - o poziție științifică.
(Teoreticul grec - mă gândesc, gândesc) - în Sovrem. logica formală și matematică orice sumă licitată gât-Swarm construit strict teoria deductivă (de ex. axiomatice) la-Roe prezentat (afișat) prin aplicarea pe poziția inițială a teoriei (axiomele) și (sau) teoriei propunerilor deja dovedit admisibilă pentru această teorie regulile inferenței. În sistemele sintactice clasa T este echivalentă cu clasa formulelor deductibile; în sistemele semantice clasa axiomelor și T. coincide cu clasa adevăratelor propoziții ale acestei teorii. Distincția dintre axiome și T. in anumite cazuri: aceeași ofertă teorie gât-roi, în unele cazuri, pot fi luate ca axiome, etc.-a fi dovedit a fi T. Din acest motiv, de multe ori se face referire la T. și axiome. T. la- formulat față de o anumită teorie (în mod obișnuit formal sau formalizate) și au dovedit mijloace meta informative ale acestei teorii sunt numite Metatheorem (de ex. T. deducere).