But this last statement is equivalent to p itself (and this equivalence can be proved in the system), so p can be proved in the system.
但是最后一个命题就等价于p自己（而且这种等价性可以在系统内部证明），从而p就可以在系统内证明。