sentences:  Let be a real-closed field, and , , and finite subsets of [1,…,].Let be the cone generated by , and the ideal generated by .Then
  
  if and only if
  
  The Krivine–Stengle Positivstellensatz also has the following refinements under additional assumptions.