Логика, геометрия