The explanation of the decorated ladder in the science of logic