— Den propedentiske Logik af Nielsen—