Matematika jo striktnje logiski natwarjona, wót empiriskich dopóznaśow njewótwisna wědomnosć. Wóna słužy drugim wědomnosćam ako ""pomocna wědomnosć"". Fundament matematiskeje teorije su aksiomowe systemy - gromady zakładnych, triwialnych a cłowjeskemu rozymoju njepósrědnje pśistupnych wugronow resp. hypotezow. Z pomocu tak pomjenjowanych kalkulow maju se wšykne matematiske sady a kazni z tych aksiomow wótwóźiś. Tomu se naslědku groni ""matematiski dopokaz"".