A teorema egyik tétele, egy szó jelentése és értelmezése, egy kifejezés meghatározása
1) A tétel - (a görög theoreóról - azt gondolom) - tudományos álláspont.
2) A tétel - (görög theoreó - szerintem) - a Sovrem-ban. formális logika és a matematika bármely ajánlatot nyak-Swarm szigorúan felépített deduktív (pl. axiomatikus) elmélet-Roe látható (megjelenített) alkalmazásával a kiindulási helyzetbe az elmélet (axiómák), és (vagy) a már bizonyított javaslatokat elmélet elfogadhatónak ezt az elméletet következtetési szabályok. A szintaktikai rendszerekben a T osztály egyenértékű a levezethető képletek osztályával; a szemantikus rendszerekben az axiómák és a T. osztály egybeesik ezen elmélet valódi mondatainak osztályával. A megkülönböztetése axiómák és T. feltételesen: ugyanezt az ajánlatot nyak-raj elmélet bizonyos esetekben lehet venni, mint axiómák, stb-bizonyítandó a T. Emiatt gyakran nevezik T. és axiómák. T. to- fogalmazott képest egy bizonyos elmélet (általánosan formális vagy hivatalos), és bebizonyította, informatív meta eszköze ez az elmélet az úgynevezett Metatheorem (pl. T. levonás).
(a görög theoreóról - úgy vélem) - tudományos álláspont.
(Görög theoreó - gondolkodom, gondolkodtam) - a Sovrem-ban. formális logika és a matematika bármely ajánlatot nyak-Swarm szigorúan felépített deduktív (pl. axiomatikus) elmélet-Roe látható (megjelenített) alkalmazásával a kiindulási helyzetbe az elmélet (axiómák), és (vagy) a már bizonyított javaslatokat elmélet elfogadhatónak ezt az elméletet következtetési szabályok. A szintaktikai rendszerekben a T osztály egyenértékű a levezethető képletek osztályával; a szemantikus rendszerekben az axiómák és a T. osztály egybeesik ezen elmélet valódi mondatainak osztályával. A megkülönböztetése axiómák és T. feltételesen: ugyanezt az ajánlatot nyak-raj elmélet bizonyos esetekben lehet venni, mint axiómák, stb-bizonyítandó a T. Emiatt gyakran nevezik T. és axiómák. T. to- fogalmazott képest egy bizonyos elmélet (általánosan formális vagy hivatalos), és bebizonyította, informatív meta eszköze ez az elmélet az úgynevezett Metatheorem (pl. T. levonás).