>>332
文献はない
でも集合論的定義はコンピュータによってモデル化出来るから厳密