基礎論の本でZF公理系の導入以前に集合論の記法や概念が出てくるのは何なの。
そういうのは素朴集合論なの?