::[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 22:41, 28 February 2024 (UTC)
The wording of the two banners is wrong, given Lazard explanation. The wording
To make it 100% clear, I do not intend change my opinion, only because a deletionist reverted my changes. The two sections are propably the only sections that don't have any defects. What ha sa defect is the whole article, which has become a big mess. See my suggestions to move out certain topcis of the article. But my opinion was already stated, and it didn't change:
of the banner says there is a "what for" missing, which is factual not true for the present text. The Lazard explanation has different story. It talks about a) addressing people in common language b) setting priorities. How about changing the banners and say that?
[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 22:51, 28 February 2024 (UTC)
Section: Use in first-order Peano arithmetic<br>
The "what for" is the first paragraph of the section.
Section: Elimination of parameters<br>
The "what for" are the last two paragraphs of the section.
Just read the first paragraph and the last two paragraphs.
