Oblast matematike kojom se dokazuju stvari koje i kad dokazes opet neces moci da razumes
Metod dokazivanja kojim dokazujes ocigledno, iako ti sam metod nije jasan.