On Not Saying What We Shouldn't Have to Say

Abstract

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#^1/2  that Meyer suggested we look for.