Consistentie (logica) - andere talen