Симуляция натуральных и секвенциальных исчисленийстатья