没有一位有成就的科学家不是刻苦学习的”。这个判断的逻辑形式是（ ）。