22 Bells, 2nd Autumn, 510 AV
The room was small but, only just, adequate. It had the basics of what he needed and nothing else. “Do I need anything else, though. Maybe a window or some more space.” Apart from his bed, his desk (table, actually) was where he spent most of his time, pouring over his books. The current book he was reading was a battered, old thing which had a list of the ten axioms of mathematics and a very brief explanation of them. It didn't even explain all of them, just the easy ones. It truly was a disaster of a book but beggars can't be choosers and, in this case, Iasc was a beggar.
He knew that these axiom's didn't need to be proven but he wanted to understand the logic behind them.
“1 - The whole is greater than the part.”
This one wasn't hard. Basic numerical skills will tell you that. He demonstrated it just to prove to himself that he did know it. After all, if something works theoretically it doesn't always work practically. He picked up four of his arrows. “I shall call this the whole.” He split them into one group of one and one group of three. “These are the parts. Both are less than the whole as one is less then three is less then four.”
A good start. He moved on to the next one without much celebration.
“2 - If equals are added to equals, then the wholes are equal.”
“This is another simple problem of addition.” He decided not to use arrows this time but to do it theoretically. He drew a straight line and put the letters A and C on either endpoints. “By axion four a straight line can be drawn between any two points.” He then put a point B about halfway between the endpoints. “AB + BC = AC.”
Not as easy as axion one but still no cause for celebration.
“3 - If equals are subtracted from equals, then the remainders are equal.”
He ignored this one as being a rearranging of axiom 2.
“4 - A straight line can be drawn between any two points.”
He had already shown this in axiom two. He circled it as if to prove to himself that he wasn't cheating.
“5 - A line segment can be extended indefinitely.”
He was still trying to get his head around this one. “Indefinitely.” The word bounced around his consciousness, always out of reach. He knew what the word meant but it seemed to be just beyond his comprehension. “How can something have no end. All things must end at some stage. Are lines an exception. If so, then there must be more exceptions.” This seemed to be more philosophy than maths to him and he resolved to tackle it at some point, but not now.
“Don't worry if you don't understand it now”, Sador, his uncle and mentor, had reassured him. “It will make itself clear to you when you are ready.”
He had no reason to distrust his uncle.
“7 - Things that equal the same thing also equal one another.”
He used the same logic as axiom two for this. He redrew the line from that axiom. He then extended both endpoints a small bit (as he did this he considered trying to extend it indefinitely but dismissed the idea as impossible.) He assigned the letters D and E to the new endpoints and made A the origin.
His original equation, AB + BC = AC, still stood. On top of this he now had a new equation, namely, AD + AE = AC. Therefore, by axiom seven, AB + BC = AD + AE.
He had looked at more then half of the axioms now. He had analyzed all of the algebraic ones. Algebra was all he really knew. From trigonometry he knew a little of right angles but not enough to proceed. He reluctantly closed his book and headed toward his bed.