Finitary arithmetic is a mathematical approach that emphasizes constructive methods, avoiding infinite concepts. It focuses on operations and proofs that…