Выдержка из книги
Константинов Ф.В.
Философская энциклопедия Том 5
Эта теория входит в качестве первой главы во мн. Аддисоном и др., н означает ( вместе, конечно, с тривиальной непротиворечивостью отрицаний этих предложений) неразрешимость соот-ветств.