L'incoerenza..

\[(\mathbb{A}, +, \overline{0}, -, \cdot, \overline{1})\]

\[(a+b)+c=a+(b+c) \ \ \ \ \forall a,b,c\in\mathbb{A}\\\]
\[\exists \ \overline{0}:a+\overline{0}=\overline{0}+a=a \ \ \ \ \forall a\in\mathbb{A}\]
\[\exists \ {-a}:a+(-a)=\overline{0} \ \ \ \ \forall a\in\mathbb{A}\]
\[a+b=b+a \ \ \ \ \forall a,b\in\mathbb{A}\]
\[(a\cdot b)\cdot c =a\cdot (b\cdot c) \ \ \ \ \forall a,b,c\in\mathbb{A}\]
\[(a+b)\cdot c=a\cdot c+b\cdot c \ \ \ \ \forall a,b,c\in\mathbb{A}\]
\[a\cdot(b+c)=a\cdot b+a\cdot c \ \ \ \ \forall a,b,c\in\mathbb{A}\]
\[\exists \ \overline{1}:a\cdot\overline{1}=\overline{1}\cdot a=a \ \ \ \ \forall a\in\mathbb{A}\]
\[a\cdot b=b\cdot a \ \ \ \ \forall a,b\in\mathbb{A}\]

Ebbene si, qualora ci riuscissimo sarebbe tutto, troppo incoerente..

The true but unprovable statement. And if provable it would be false..

Commenti

Post popolari in questo blog

Che notte..

Pago io..

Il paradosso è straordinarietà..