Pengertian pangkal

Dalam matematika, logika, filsafat, dan sistem formal, pengertian pangkal 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 pengertian pangkal dibatasi oleh aksioma. Beberapa penulis menyebut yang terakhir sebagai "mendefinisikan" pengertian pangkal dengan satu atau lebih aksioma, tetapi ini bisa menyesatkan. Teori formal tidak dapat mengeluarkan pengertian pangkal karena tekanan epistem dari regresi tak terhingga. Misalnya, dalam geometri kontemporer, istilah semacam titik (point), garis (line), dan berisi (contains) adalah contoh dari beberapa pengertian pangkal. Alih-alih mencoba mendefinisikannya, interaksi hal-hal tersebut diatur oleh aksioma seperti "Untuk setiap dua titik terdapat garis yang memuat keduanya".