Emacs part15
■ このスレッドは過去ログ倉庫に格納されています
0791名無しさん＠お腹いっぱい。
2005/06/26(日) 13:19:42> _________________
> If T is consistent, T !|- G_T.
> If T is ω-consistent, T !|- ¬G_T. -- Kurt G,Av(Bdel
文字化けしていますよ。
■ このスレッドは過去ログ倉庫に格納されています
> _________________
> If T is consistent, T !|- G_T.
> If T is ω-consistent, T !|- ¬G_T. -- Kurt G,Av(Bdel
文字化けしていますよ。