Extension (logique)