Publication Date
6-2007
Abstract
In his unpublished lectures on general algebra, a well-known algebraist D. K. Faddeev expressed a belief that every true mathematical statement can be generalized in such a way that it becomes trivial. To the best of our knowledge, this belief has never been formalized before. In this short paper, we provide a simple formalization (and proof) of this belief.
Comments
Technical Report: UTEP-CS-07-38
Published in Applied Mathematical Sciences, 2009, Vol. 3, No. 47, pp. 2343-2347.