О выразительных и дедуктивных возможностях логико-арифметических исчислений на базе теории типовстатья