meta ZFC-ről én nem tudok. A példámban bármely F(n) igazsága levezethető ZFC-ben. Persze itt a "bármely n" egy metanyelvi kifejezés és nem azonos a ZFC-beli megfelelőjével "minden n-re stb."