Логика в математике: почему дважды два равно четыре