Quantum Computing since Democritus

by Scott Aaronson

if F is consistent, then F can't prove its own consistency. This result is sometimes called Gödel's Second Incompleteness Theorem.