Proposal for development in the mathematics division of an Automatic Computing Engine (ACE) Universal Turing Machine
Systems of Logic Based on Ordinals