Статья 526

В системе допускается противоречивость мнений-знаний субъекта, принадлежащих разным областям рассуждений, поскольку возможна истинность как, так и где. Противоречие невозможно внутри области рассуждения недопустима одновременная истинность, также для знания. Заметим, что система описывает потенциальное знание субъекта - возможные области его знаний.
Доказано, что - непротиворечива и полна относительно заданной семантики.
В системе требование истинности знания, схема, соблюдается по определению оператора. Так же проходит замкнутость относительно импликации схема. Однако ни аксиомы интроспекции и, ни правила не имеют место. Заметим, что данные правила как бы устанавливают мост между сферой логически истинного фиксированной точкой зрения наблюдателя и знаниями субъекта. Полное разрушение этого моста привело бы от идеального знайки к идеальному незнайке - субъекту, не умеющему получать логические следствия из своего знания.