Primitivní pojem

V matematika, primitivní pojem je něco to není definované v podmínkách předtím definovaných podmínek. To je, to je něco to je vzato být pravdivý jak axióm poněkud než něco to může být dokázané od souboru dalečejších axiómů. Pro příklad v naivní teorie množin, ponětí o existenci prázdný soubor je primitivní. Pro formálnější diskuzi o založeních matematiky vidět axiomatická teorie množin článek.