https://9lib.org/document/q2n055jp-semantyczna-niesprzeczność.html