Frege's Begriffsschrift is indeed first-order complete - Liu, Yang (2017)