No consistent formal system F capable of expressing elementary arithmetic can prove its own consistency.