En lógica, un concepto primitivo, concepto básico, concepto fundamental o noción primitiva es un concepto no definido en un contexto determinado. Particularmente, en una teoría (sistema hipotético-deductivo), es un concepto no definido que se postula en un axioma. Que un concepto primitivo sea no definido, no implica que su significado sea impreciso, pues las relaciones entre los conceptos primitivos en los axiomas, primero, y entre los conceptos primitivos y las definiciones y teoremas, después, le otorgan un significado preciso. Por lo anterior, se dice en ocasiones que los conceptos primitivos en las teorías están "definidos" por uno o más axiomas, pero esto puede llevar a errores.
Ещё