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