{"id":"arxiv/2603.09900","url":"https://arxiv.org/abs/2603.09900","tags":["math.LO"],"score":0,"title":"On the Concept of Arithmetic Conseqeunce","domain":"math.LO","source":"arxiv","authors":["Alexander V. Gheorghiu"],"reviews":0,"subject":"math.LO","summary":"Gödel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in which arithmetical language is evaluated with respect to an independently given structure of natural numbers. This paper develops an alternative perspective grounded in proof-theoretic semantics. We distinguish between derivability and a semantic notion of consequence given by support, defined compositionally in terms of the inferential roles fixed by a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-10","reactions":{}}