matematička logika (logika)

grana matematike koja logiku proučava matematičkim sredstvima i bavi se osnovama matematike i problemom dokaza