Cultures of Mathematics and Logic