On Wednesday, April 9, 2014 4:52:00 AM UTC-4, William Elliot wrote: > On Tue, 8 Apr 2014, Dan Christensen wrote: > > > > > Here, I have translated your axioms into DC Proof format. Download my > > > > > software, enter these axioms (the "@" is mapped to epsilon) and see what > > > > > you can do with them. You have to construct your own proofs one line at > > > > > a time, but the software will not let you make mistakes. Instant > > > > > feedback is provided with each line you enter it. You might start by > > > > > proving the associativity and commutativity of + and * as you have > > > > > defined them. You can get started using with the tutorial or user > > > > > manual. > > > > I will not. > > > Here's your big chance to test your theory, William! > > > Oh, well. > > I can do better proving the theormes myself
Good luck getting anyone to take notice of your rather inelegant kluge here, William. Inventing a successor of the so-called largest number must truly be a non-starter in any successful development of finite arithmetic.