İlksavlar ya da önsayıtlardan yola çıkarak tümdengelimci bir yöntemle yineleyici bilgiler (önermeler) üreten bilgi dalları. bkz. tümdengelimci bilimler, yineleyici bilimler
Tümdengelimci bilimlerde önsayıtlardan çıkarım yoluyla türetilmiş ve bu sayıtlarda örtük biçimide belirtilmiş olanı yeniden dile getirmekle yetinen bilgi.