Axiomaschema van afscheiding - andere talen