משפט קנטור-שרדר-ברנשטיין – שפות אחרות