Frege's Begriffsschrift demonstrates that identity statements are well-formed in first-order logic w...