We investigate axiomatizability of various fragments of first order computational tree logic (FOCTL) showing that the fragments with the modal operator F (H, respectively) are non axiomatizable. These results shows that the only axiomatizable fragment is the one with the modal operator next (X) only.