Gagasan primitif itu apa sih?

Dalam matematika, logika, filsafat, dan sistem formal, gagasan primitif adalah sebuah konsep yang tidak didefinisikan dalam istilah konsep yang telah ditentukan sebelumnya. Hal ini sering disebabkan secara informal, biasanya oleh daya tarik intuisi dan pengalaman sehari-hari. Dalam teori aksioma, hubungan antara gagasan primitif dibatasi oleh aksioma. Beberapa penulis menyebut yang terakhir sebagai "mendefinisikan" gagasan primitif dengan satu atau lebih aksioma, tetapi ini bisa menyesatkan. Teori formal tidak dapat mengeluarkan gagasan primitif karena tekanan epistem dari regresi tak terhingga (di tiap argumen regresi).

Misalnya, dalam geometri kontemporer, istilah semacam titik (point), garis (line), dan berisi (contains) adalah contoh dari beberapa gagasan primitif. Alih-alih mencoba mendefinisikannya, interaksi hal-hal tersebut diatur oleh aksioma seperti "Untuk setiap dua titik terdapat garis yang memuat keduanya" (dalam sistem aksioma Hilbert).