Maybe situation in Matroid theory where there is several strict axiomatization schemes but its equivalence is not easy to prove, is interesting here. Probably there should be some generalization which would tie this different approaches into one, more or less obvious notion. There is even terminology connected with that phenomenon by G.C.Rota Cryptomorphism http://en.wikipedia.org/wiki/Cryptomorphism
|
1 | [made Community Wiki] | ||
|
|
||||
