652コメント203KB

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

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

0134１３２人目の素数さん

2005/09/18(日) 11:17:39

ところで、数学の定理って有限？

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