SRP i matematik og filosofi om logik
Dette projekt omhandler formel logik og aksiomatiske systemer. Særligt arbejdes der med Euklidisk geometri som et historisk yderst vigtigt eksempel – dels på et aksiomatisk system, dels på bevisførelse inden for et sådant system. Formel logik berøres ikke normalt i matematikundervisningen i gymnasiet. Projektet er derfor forholdsvis forudsætningsfrit. Den selvstændige tilegnelse af denne forholdsvis abstrakte del af matematik vil dog kræve en vis abstraktionsevne og fortrolighed med symbolsprog.
