Jest to relacja ogólna, którą przyjmujemy za oczywistą1.
Uwaga
Docent Kossecki w jednym ze swoich wykładów podał rozróżnienie między pewnikiem a aksjomatem. Oba definiujemy jako relację ogólną, która jest oczywista, jednak z pewników nie buduje się żadnej teorii, a z aksjomatów już tak.2
Aksjomaty ATP to nic innego, jak zbiór przyjętych przez nas relacji pierwotnych między obiektami elementarnymi i ich zbiorami, a relacjami, które między nimi występują i ich zbiorami.
Bibliografia
-
J. Kossecki, Metacybernetyka, Warszawa 2018, s. 22 ↩
-
https://youtu.be/D22jVwXaDPQ dostęp: 05.04.2004r. ↩