初始符号相关论文
在<前分析篇>[1]中,亚里士多德用大量篇幅讨论了模态三段论问题.亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观[2-3]出......
本文表明，二阶弗协调概括与弗雷格的第五公理是足道的。也表明，如果等数关系是初始符号，那么通过弗协调推理可以从第五公理可以推出休......
