Aksiyon mantık nedir?
Doğruluğu ispatlanmadan, doğru olduğu kabul edilen önermelere aksiyom denir. Aksiyom, kendiliğinden apaçık ve bundan dolayı öteki önermelerin ön dayanağı sayılan temel önermedir. Doğruluğunun ispatlanması gereken önermelere teorem denir.
