Henkin's completeness theorem doesn't 'lose' categoricity—full second-order logic was never categori...
This proposition has not been edited since the history system was added.