Genealogical mathematics