Nielsen , R . Grundideernes Logik li 7 :—