Oblast matematike kojom se dokazuju stvari koje i kad dokazes opet neces moci da razumes