Popper's three worlds theorem