Em
matemática,
lógica, e
sistemas formais, uma
noção primitiva é um conceito indefinido. Em particular, a noção primitiva não é definida em termos de conceitos previamente definidos, mas é apenas motivada informalmente, geralmente por um apelo à
intuição e a experiência cotidiana. Em um
sistema axiomático ou outro sistema formal, o papel de uma noção primitiva é análogo ao de um
axioma. Teorias formais não podem prescindir de noções primitivas, sob pena de regresso infinito.
O fato de que elas não são definidas, não significa que elas não podem ser caracterizadas através de exemplos e frases de apoio ao raciocínio, por exemplo:
Neste livro, o conceito de "ponto" não é primitivo, pois é definido através do conceito de "parte" que é primitivo, pois não recebe definição.