1001コメント464KB

数学基礎論・数理論理学　その11

■ このスレッドは過去ログ倉庫に格納されています

0039１３２人目の素数さん

2012/01/03(火) 19:03:29.31

>可能世界を用いて内包を使う意図があって様相論理へ導入された。
何が導入されたん？

■ このスレッドは過去ログ倉庫に格納されています