Gunnar_Zarncke comments on All the Following are Distinct

[Gunnar_Zarncke]

Have you seen 3C’s: A Recipe For Mathing Concepts? I think it has some definitions for you to look into, esp. the last sentence:

If you want to see more examples where we apply this methodology, check out the Tools post, the recent Corrigibility post, and (less explicitly) the Interoperable Semantics post.