Hvem förklarar den logiskaföljdenligheten