Například ten důkaz, že "1+1=2" vychází z toho, že (kromě mnoha dalších nezbytných věcí) přijmeme předpoklad existence prázdné množiny.
A nevím, jak přesně rozsáhlý aparát je k tomu potřeba, ale pod 50 stránek definic, vět a dalších matematických záležitostí to zaručeně nebylo. Pravda je, že v prváku jsme se tak daleko nedostali, to až později.