# comprehension

1. ### Comprehension Question

Assuming it contained only sets that could exist within a model of ZF, a set of finite sets that contain only finite sets must be countable, correct? My reasoning, assuming I understand correctly, is that it follows from $L_{\omega} = V_{\omega}$ where $L$ and $V$ are as generally described...