3. Вы пишете: «всякая прямая (непосредственная) реляция между двумя элементами этой системы имеет однозначную направленность,» — имеете ли Вы в виду, что для любых двух формул A и B, выводимых в некоторой формальной системе, в той же системе выводится либо формула A \Rightarrow B, либо B \Rightarrow A?