Хотя системы понятий сами по себе логически совершенно произвольны, но их связывает то, что они, во-первых, должны допускать возможно надежное (интуитивное) и полное сопоставление с совокупностью ощущений; во-вторых, они должны стремиться обойтись наименьшим числом логически независимых элементов (основных понятий и аксиом), т. е. таких понятий, для которых не дается определений, и таких предложений, для которых не дается доказательств.