トップページ⇒math

652コメント203KB

コンピューターによる定理の自動証明

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

0059名無しさん＠そうだ選挙に行こう

2005/09/11(日) 23:03:14

>>58
PA が矛盾してるならあるかもね

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