Foundational Resources for the KAS-Math