Lista de teorias de primeira ordem - Outras línguas