MATEMATIKENS AUTONOMI tar upp matematiken som vetenskap i relation till formell logik och mängdlära. Den fråga som står i fokus är huruvida dessa discipliner kan förklara, alternativt förse matematiken med ett stabilt fundament - eller om ett sådant över huvud taget behövs.