I would like anyone to comment on a proposal I have written (it's short and intuitive) for a system of "Practical Numbers". The idea is to deny the Axiom of Choice, thus eliminating, or obviating, the notion of infinity and accepting the consequences of a largest integer and a smallest interval...