Spriedumi un pierādījumi. Teorija.

5.1. Aksioma

Def. Apgalvojumu, kuru pieņem bez pierādījuma, sauc par aksiomu.

 

Kādai jābūt aksiomu sistēmai:

1) pilnai – tai jāietver visas aksiomas, kuras nepieciešamas aplūkojamajā kursā;

2) bezpretrunīgai – nedrīkst izvēlēties tādu aksiomu sistēmu, no kuras ar loģisku

spriedumu palīdzību var nonākt pie diviem pretrunīgiem apgalvojumiem, kas izslēdz viens otru;

3) neatkarīgai – lai sistēma nesaturētu aksiomas, kuras var pierādīt kā teorēmas izmantojot pārējās aksiomas.