On the rational points over Henselian fields

Theorem I gives the necessary and sufficient condition for an algebraic variety to have a rational point over a field with nontrivial henselian valuation. Theorem [2] gives the necessary and sufficient condition for a system of equations over algebraic complete 2 valuation ring to have a rational point. This theorem extends the M. Greenberg's result [4].