Extension (proof theory)