Об одной формальной системе, связанной с реализуемостьюстатья