Об импликационных исчислениях с одной-единственной переменнойстатья