İlksavlar ya da önsayıtlardan yola çıkarak tümdengelimci bir yöntemle yineleyici bilgiler (önermeler) üreten bilgi dalları. bk. tümdengelimci bilimler, yineleyici bilimler