A theory is Post consistent if it contains at least one unprovable statement. If all statements are provable, the theory…