
Re: [Hyponumber] Building a complete system out of axioms
Posted:
Jun 25, 2013 9:34 PM


On Tue, 25 Jun 2013, Béranger Seguin wrote:
> Those are the axioms : > > 0. We're talking of hyponumbers. We can name hyponumbers and sets with > letters. > > 1. A set of hyponumbers is written {x,y,...} and contains hyponumbers, whose > order matters, and who can occur several times.
That's not a set, it's a sequence.
> 2a. Any hyponumber is made of three hyponumbers.
Circular definition, end of discussion.
> 2b. The set of hyponumbers which "x" is made of can be written "[x]" > > 3a. With three notallequal hyponumbers, we can build an hyponumber. > 3b. The hyponumber made from the hyponumbers contained in the set "x" of three notallequal hyponumbers can be written "]x[". > 3c. ]{x,y,z}[ is called fusion of three hyponumbers. > 3d. We admitt ]{x,x,x}[=x, but without reciprocity (except in some cases). > > 4a. There are three fundamental hyponumbers : A,B and C. > 4b. Fundamental hyponumbers are only made of themselves. (for example : [A]={A,A,A}) > 4c. They do not obey to rule 3d because there is reciprocity : [A]={A,A,A} ; ]{A,A,A}[=A (the same applies for B and C). > 4d. All hyponumbers can be made (with hyponumbers made of hyponumbers made of ... and so on) only with the fundamental hyponumbers. > > ( I have written two axioms 5 and 6 who are a little useless, so those places are currently empty ;) ) > > 7. We can mention the nth element > > Theorems : > > a. Let x be a set of three notallequal hyponumbers : []x[]=x (axioms 2&3) > b. Let x be a hyponumber : ][x][=x (axioms 2&3) >

