Если в логике имеются элементарные идеи, они должны быть независимы друг от друга. Если элементарная идея вводится, она должна вводиться во все комбинации, в которых может встречаться. Поэтому она не может вводиться сначала в одну комбинацию, а затем в другую.