A note on fixed points in quantified logic of proofs and the surprise test paradox (In Persian)