This paper discusses the first eigenvalue on a compact Riemann manifold with the negative lower bound Ricci curvature. Let M be a compact Riemann manifold with
Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG*-Rand LG