alaptétel

1. Logika: Fő állítás; más tételekből le nem vezethető vezérelv, amelyből viszont más állítások levezethetők.

Az alaptételt nem kell újra bizonyítani. A következtetés az alaptételt használja magyarázatként.

2. Bebizonyítandó állítás ...

3. Tényként elfogadott feltételezés ...