Základný pojem

Základný pojem alebo primitívny pojem je pojem, ktorý nie je v systéme pojmov definovaný. Nie je definovaný explicitne, iba implicitne na základe jeho vlastností vyplývajúcich z axióm. Primitívnym pojmom je napríklad bod v geometrii. 

Napriek názornému pôvodu sa na pojmy zavedené v axiómach, na ich vzťahy a vlastnosti – tzv. základné alebo primitívne pojmy – pozeráme iba ako na dané v axiómach. Hovorí sa, že nie sú definované explicitne, ale implicitne. Všetky ďalšie pojmy sa definujú explicitne pomocou axióm a základných pojmov. Dedukcia pojmov je prípustná len pomocou pravidiel logiky. 

 Externé odkazy 


Kategória:Logika