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

[371 デフォルトの名無しさん 2014/09/27(土) 12:16:01.73 ID:Tn3/IHEN]

オメガってZFに基づいた言語がアメリカにあったはずだが見つけられない。
集合はsetとclassの型付け。
上にある仕様記述言語Zとは別。