układ aksjomatów, wyodrębnionych spośród wszystkich twierdzeń danej teorii, wybranych tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii.

zbiór złożony ze zdań przyjętych bez dowodu (aksjomatów) oraz zdań przyjętych na podstawie dowodów, których przesłankami są bądź aksjomaty, bądź ich konsekwencje.