2.0201 Tout énoncé portant sur des complexes se laisse analyser en un énoncé sur leurs éléments et en propositions telles qu'elles décrivent complètement ces complexes.