Żeby udowodnić, że 2 + 2 to nie 5 najpierw należy zapoznać się z konstrukcją liczb. Polecam poczytać: http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci/Wyk%C5%82ad_7:_Konstrukcja_von_Neumanna_liczb_naturalnych%2C_twierdzenie_o_indukcji%2C_zasady_minimum%2C_maksimum%2C_definiowanie_przez_indukcje