There is a newer version of the record available.

Published April 28, 2023 | Version v6
Preprint Open

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

Description

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”. Is this not an acceptable point of view and then are these not finitist proofs of inconsistency valid in a general way?

Files

inconsistency_natural_numbers_set.pdf

Files (185.1 kB)

Name Size Download all
md5:6817d395c057f5980f67e56151e72293
185.1 kB Preview Download

Additional details

Identifiers