652コメント203KB

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

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

0435１３２人目の素数さん

2009/01/10(土) 11:21:38

○可算無限
×加算無限

○最大元
×最大限

○単項イデアル整域
×炭鉱胃である聖域

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