Wondering about the world, using the simplified language of "mathematical logic"