Talk:Mathematical logic/to do