Emacs part15
■ このスレッドは過去ログ倉庫に格納されています
0790名無しさん＠お腹いっぱい。
2005/06/26(日) 13:04:03If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T. -- Kurt G‡del
なにこれ？
■ このスレッドは過去ログ倉庫に格納されています
If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T. -- Kurt G‡del
なにこれ？