Gödel himself regarded ZFC as capturing the iterative conception of set, which grounds transfinite a...