&quot;there is no proof of P&quot;. If P is true, there is no proof of it. If P is false, there is a proof that P is true, which is a contradiction. &quot;there is no proof of P&quot;. If P is true, there is no proof of it. If P is false, there is a proof that P is true, which is a contradiction.
Be the first to comment