Фундаментальный формальный принцип классической логики, гарантирующий стабильность обозначений и непротиворечивость рассуждений