Matematisk logik - Afgåede censorer