Deducción natural - Otros idiomas