Talk:Herbrand theory

Herbrand Theory or Theorem ???
I've edited some versions of this article. I wasn't careful enough to notice that the title might not be correct. The term "Herbrand Theory" was used for theories which demonstrate term extraction property and these theories are related to "Herbrand Analysis", a proof-theoretic technique. It's better to name this article "Herbrand Theorem". There is already an article with such name. Should these two be merged? Tomlee2060 (talk) 14:10, 20 April 2008 (UTC)