Teorem hakkında bilgi

(Theorem) 1. Doğruluğu, bir dizi mantıksal işlem sonucunda ispatlanabilen önerme. 2. Doğruluğu, ispatlandıktan so a kabul edilen önerme. Bkz. aksiyom.