5.453 All numbers in logic must be able to be justified.

Or rather: it must be evident that there are no numbers in logic.

There are no pre-eminent numbers.

So logic is not mathematics? Might mathematics still be derivable from logic?