Независимость постулатов натуральных исчислений Г.Е. Минц (1968) Zapiski naucnych seminarov Leningradskogo