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.