 By taking \(A\) to be \(\bot\), and noting that \(\bot\) is refutable in \(F\), it is easy to see that Reflection Principle entails the consistency statement Cons\((F)\), i.e., \(\neg\Prov_F (\ulcorner \bot \urcorner)\); hence it cannot be generally provable in the system.