トップページ⇒math

1001コメント361KB

ジョルダンの曲線定理が完全証明される

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

0163１３２人目の素数さん

2005/09/29(木) 16:19:35

>>162

数理論理では、記号論理による数学の定理の証明のことをさす
用語があるんじゃないの？形式証明でいいのかな？

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