Два континуума максимальных пропозициональных логиктезисы доклада