A chat on the ladder, an explanation of the Green's ladder in the science of logic