14/02/11 19:56:45.20
>>494
別にお前は答えなくていいよ
補足すると
ゲーデルの不完全性定理について
IsformSeq(x)は 「xは基本論理式から組み上げた論理式の列」
len(x)は「列xの長さ」
x・yは列xと列yを連結させた列
14/02/11 19:56:45.20
>>494
別にお前は答えなくていいよ
補足すると
ゲーデルの不完全性定理について
IsformSeq(x)は 「xは基本論理式から組み上げた論理式の列」
len(x)は「列xの長さ」
x・yは列xと列yを連結させた列