Abstract: A system for teaching proofs, including a set of playing cards and a playing field electronically displayed on a computer game screen. The playing field includes two boxes labelled "GIVEN" and "CONCLUSION" for entry of a premise and a conclusion from a theorem (or other problem). By selecting from a certain menu or submenu contained in a window, a card may be reviewed. To set up the playing field, a mathematical statement, displayed on a set-up card of a group of set-up cards containing each statement from the universe of statements known, is entered into the boxes. The statements may be custom labelled. Geometric figures associated with the theorem may also be electronically drawn on the screen by a user to complete the set-up. After set-up is complete, a user then chooses from a set of playing cards, each card displaying a specific mathematical concept from the universe of mathematical concepts such as definitions, postulates, constructions, properties and theorems, and places it on the playing field.