Арифметика Пресбургера: различия между версиями

'''Арифметика Пресбургера''' — это [[теория первого порядка|теория первого порядка]] описывающая [[натуральное число|натуральные числа]] со [[сложение]]м, но в отличииотличие от [[арифметика Пеано|арифметики Пеано]], исключающая высказывания относительно [[умножение|умножения]]. Названа в честь [[Польша|польского]] [[математика]] [[Мозес Пресбургер|Мозеса Пресбургера]], который в 1929 году предложил соответствующую систему аксиом в логике первого порядка, а так же показал её разрешимость.