The theory PA^F, though technically inconsistent, is practically consistent because any proof of a c...