トップページ⇒math

984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

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

0384１３２人目の素数さん

2015/01/04(日) 02:19:54.34ID:LUBGFHcm

>>373
それらはすべて統語論的に完全
さらにすべて完全性をみたす（＝同値な）意味論的体系をもつ

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