トートロジー - 他の言語