>>331
>>1925年、FrankelとSkolem
これを「集合論的な定義」でなく「厳密な定義」と記してある文献は?