Una idea que subyace a tal formulación es que la traducibilidad implica simetría y transitividad pues si una teoría T es traducible con otra teoría T’, entonces T’ es traducible a T, y más aún pues si existiese una tercera teoría T’’ y ésta fuese traducible con T’, no podría ser el caso que las teorías T y T’ fuesen inconmensurables, toda vez que la relación transitiva y simétrica asegura que sus enunciados podrán ser comparados uno a uno.