De akkor a bármely n-re F(n) igazsága levezethető valamely meta ZFC-ben?