Tricki

## A general idea in "for all" statements

### A general idea in "for all" statements

I have a proposition for the page Proving "for all" statements.

There is a more general approach/view, which generalize induction and the articles in the subsection Prove the result for some cases and deduce it for the rest.

It is the following: If you have to show a statement it is useful to exploit the structure of the set .

If there are for example some operations acting on such that you can write every as with a special point and you can show:

1) is true

2) If you apply one of the transformations to an where is true then remains true.

Then you have shown your statement. (Induction works like this)

Second example: If your set is partially ordered, such that every nonempty subset has an element which is minimal in the following sence: If and are comparable, then . Then you can show the statement by assuming that the set of counterexamples is not empty and look at one of the minimal counterexamples. If one can show, that there is no minimal counterexample, the proof is complete.

I hope it is clear what I want to say... Such arguments are used for example in the theory of finite groups.

There are many more special cases of this principle, but I think, there should be an article which summarize the idea.

I do not feel capable to make an article myself because of my bad english skills, but probably someone else can...