Describir: Foundations for Mathematical Methodology