új fogalom visszavezetése a már ismert fogalmak segítségével.

olyan fogalom, amelyet már nem célszerű, illetve nem lehet önmagánál egyszerűbb fogalmakra visszavezetni.

Fogalmak segítségével megfogalmazott megállapítás. Csak akkor fogadhatjuk el, ha a fogalmakból kiindulva, helyes következtetésekkel meggyőződtünk az állítás igaz voltáról.

Olyan egyszerű állítások, amelyeket bizonyítás nélkül fogadunk el. 

A fogalmak közötti összefüggésekből megfogalmazott és bizonyított állítás.