Арифметические теории в бестиповых комбинаторно полных системахстатья