1 year agoGenetics at metaMATHS: Axioms still TRUE, Semantic and syntax aren’t mutually identifiable #Dualismpx2195