集合論に基づいた言語を作りたい

[556 デフォルトの名無しさん 2014/10/20(月) 22:15:50.47 ID:4bxYYw/L]

ある世界Aには学術体系、理論体系が構築されている。
もう一つの世界Bがゴチャゴチャのカオスだとする。
AとBの間には写像のように紐付けがされている。
発想は世界Bから生まれる。
世界Bが空なのが1だ。