Is the class of all finite graphs a set or a proper class in ZF?

176 Views Asked by At

A graph is an adjacency relation among vertices. So, I think each finite graph is a set by subset axiom schema. Is the collection of all finite graphs too large to be a set in ZF?