984コメント406KB

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

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

0620１３２人目の素数さん

2015/02/08(日) 14:25:52.95ID:HJi6bMbU

>>617
任意の一階述語論理の言語だとそうだが、
可算の言語に限ればACとかBPIとかそんな大仰なものは要らない
「数学の形式化」には有限個の非論理的記号で十分だろ？

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