Proof by consistency in constructive systems with final algebra semantics