I was wandering around the wikipedia today, and all of a sudden, a thing called analysis caught my eye. naturally, i wanted to investigate.
The foundations of this are to find the identity of indiscernibles, the symmetry and triangle inequality. to find these values, you need to show that d[xy] equals or is greater than zero. so, this finds positive numbers.
Now, to find the indiscernaibles, you need to find that x = 0 and d = 0 and if that is true, y equals zero. this is indiscernibles, which means all the negative angles will add up to zero, or, be reduced from their negative places to zero.
Then, you need to observe that [x] = [y], or, that swapping [x] with y will equal the same thing.
Then, you need to observe that [z] and [x] are greater than [y].