numuyaga n'umuhengeri hamwe na pinusi n'imikindo amakuru ya wa mwana wo murugo for more abstract foundational matters see the list of mathematical logic topics