Transfer principle's power derives from matching first-order theory; extending it to second-order un...
This proposition has not been edited since the history system was added.