I have to show that if (Phi, provable) can express L1 and L2 L1, then (Phi, provable) can express L2.

Completeness

Topics Completeness Forum Thread

Posts 1 - 1 of 1

miniwolf

Save

Cancel