Inconsistency of all formal systems that include N (natural numbers set) from a not-finitist point of view

Considering the set of natural numbers N, then in the context of Peano axioms, we find a fundamental contradiction from a not-finitist point of view. This proof of inconsistency is not finitist because it requires to consider an infinite totality. But can we really summarize the finitist point of view as follows? ”A list of infinity elements cannot be considered for deducing, although it has to exist in agreement with the axiom of infinity”.

Keywords

inconsistency natural numbers Peano axioms contradiction infinity Godel formal systems not finitist proof deduction, inconsistency natural numbers Peano axioms contradiction infinity formal systems Godel finitist proof deduction, inconsistency natural numbers Peano axioms contradiction infinity formal systems Godel not finitist proof deduction

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average