In logic any sequence of words or symbols forms a sentence.
If all parts of a sentence are true, the sentence is true.
Given an infinite amount of sentences, many mean the same thing.
We are trying to find the smaller or smallest sentences that are still true.
As many as possible and hopefully all of them.
Also, preferably in an order that makes sense.