MAF is the simplest state of some researchable framework, where the meaning of it is given according to Relation\Element Interactions.
You, as a researcher provide the meaning of the interaction between what is considered by you as Relations and what is considered by you as Elements.
Your first example is based on already established framework that is based on the agreed element called "sun", the agreed relation "is" (where the element has some property called "shining")
Your second example is not yet an agreed framework.
That is called L-a-n-g-u-a-g-e. It has nothing to do with the fact that 1+1=2.
Documents presented to many times, and they are meaningless.
Let me explain you.No, this time please explain why it does not answer your question?
1+1=2
1: Ent also called the neutral element of multiplication from the axiom: there is an element “a” from R that for any element “b”: a×b=b
Then we prove that “a” has to be unique and we call that “1”.
+: Operand
=: Statement that tells that what is on the left is the same to what is on the right
2: Ent that by definition is 1+1. From the axioms “1” is different from “0” and the axiom of order (a>b <=> b-a Є R-; a>b <=> c+a>c+b) then we prove by
assuming 1+1=1+0 => 1=0 because of axiom 1≠0 1+1≠1 (only restating that 0 is the unique element whit the property 0+b=b) , because 1>0 then 1+1>1 and we call this new number 2.
Let’s prove that 2+2=4, by definition 4 = 1+1+1+1 (by extending the previous demonstration up until 4) then 2+2=(1+1)+(1+1)=1+1+1+1=4.
Wow, you just learned something today. Now you can tell that you can prove that 2+2=4
But has you can see, element operant, whatever comes after you define whit what you are working whit, NEVER BEFORE!!!