Shelf:Mathematical logic/ancestry