对一阶理论标准演绎定理的一个可争议补充
综合数学
2007-05-23 v1
摘要
我们考虑对一阶理论标准演绎定理的一个可争议补充所带来的直接推论。
引用
@article{arxiv.math/0502502,
title = {An arguable addition to the standard Deduction Theorems of first order theories},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0502502},
year = {2007}
}
备注
9 pages; an HTML version is available at http://alixcomsi.com/An_arguable_addition.htm