Noun
The quality of being intertranslatable.
Usage- Uncountable
- Examples
-
It should be noted that the mere existence of a sound and complete calculus for W-logic comes as no surprise at all, given the intertranslatability with FOL = .