Proponemos aprovechar las metodologías computacionales del análisis de conceptos formales para representar y estudiar la estructura conceptual de las teorías axiomatizadas. Este ejercicio se practicó al comparar los atributos de más de 44 modelos teóricos de teorías del espacio-tiempo y la gravitación. Los retículos pueden explorarse en visualizaciones interactivas conocidas como macroscopios que resaltan relaciones de especialización y teorización, ordenamientos jerárquicos, agrupaciones y clases de componentes. En este texto ejemplificamos con la reconstrucción de la mecánica clásica de partículas, las teorías del espacio-tiempo y la gravitación.