Matematisk logik (ikke-klassisk logik - Afgåede censorer