This is a great approach if an encyclopedia represents a very large proof about the world, but is that what it is?