“between what's called a large world and a small world so a small world is a world that to which a formal system can be applied because that is it is a world that has been constrained so that it only c...”