Given that proofs must be finite (or it's easy to prove falsehoods), maybe the title is appropriate then.