CDR: Gvdel's Theorem: Index