to metodycznie uporządkowany zbiór twierdzeń o pewnym przedmiocie sprawdzalnych (czyli dających się odpowiednio uzasadnić) oraz przekazywalnych względnie intersubiektywnych (czyli wyrażonych za pomocą języka naukowego złożonego z terminów' jednoznacznie określonych).