Matematik Terimleri Sözlüğü
usbilim
Önermelerin tutarlılığı ile çıkarımların geçerliliğini belirleyen kurallan konu edinen bilim.