rĖ > 1. Mathematics Logic