ОФФ: Баааси теоремата

Тва дали е истина? [линк]

Без да се знае аксиоматиката от която се започва е трудно да се определи какво става. Иначе доколкото знам 1+1=2 по дефиниция на 2.

The last good thing written in C was Franz Schubert's Symphony No. 9.

Истина е, защо не. Мързи ме да се задълбочавам и да се опитвам да разгадая символиката, но все пак да се похваля - досетих се, че е от Principia Mathematica, макар и никога да не съм разгръщал тази книга. Точно този откъс лесно може да се намери в интернет.
Между другото, аритметиката се доказва :) Има там едни аксиоми на Пеано, от които може да се изведе.