This paper describes the mathematics of the Enigma electromechanical rotor ciphers used by Germany during WWII. The research is focused on the contributions made by the Polish Cipher Bureau and presents their incentives for breaking Enigma encryptions. German operational procedure is included to show how redundancy measures allowed frequency analysis to be enabled, easing Polish efforts. Also included are the calculations for the strength of encryption granted by each component.