User blog:Vel!/ZF-C challenge

Write the shortest C program you can that halts iff ZFC is inconsistent.