משפט גלפונד-שניידר – שפות אחרות