Hierarchy¶
Before comparing syntax or counting theorems, one must map the epistemological and mathematical strata across which formal geometry operates—and see where GEOMETOR stands in relation to two millennia of geometric thought and fifty years of automated reasoning.