Knowledge of logic and arithmetic encapsulates a lot of knowledge, with no clear boundary between basic and non-basic. What's the line?You insist on using frameworks to reason, so let us create our own. No prior knowledge other than basic logic, arithmetic and inference.
Even if we manage to agree to some arbitrary distinction between basic/non-basic, I don't understand why you think we'll end up creating something new. When humans sit down and think hard about logic and arithmetic, they end up with formal systems. In fact, they end up with the very systems that you're trying to get us not to use.
Absolutely not. Grunts are (non-unqiue) ways of expressing certain classes of numbers. In particular, every number in N and Q can be expressed by grunts. The same is not true of numbers in R or C.AXIOM: A number is a grunt

