Mathematical logic Important Question