Gallium nitride (GaN) has been shown to be a good photocatalyst for not only water splitting but also carbon dioxide (CO 2 ) reduction. To verify the catalytic reaction involved in CO 2 reduction, it is essential to confirm that the reaction products only come from dissolved CO 2 . Here, we report the results of 13 CO 2 -labeling experiments on a GaN-Si based photoelectrochemical system for each reduction product. It was found that the 13 C-based CO 2 was almost completely converted to formic acid (HCOOH), methane, and ethylene when KCl was used as the electrolyte. In contrast, HCOOH from 12 C was observed when KHCO 3 electrolyte was used, meaning that HCO 3 − in the electrolyte partly contributed to CO 2 reduction. The energy conversion efficiency and Faradaic efficiency of the respective reduction processes in the present system are also discussed.