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.