What’s the difference between ◻_A2(P) and (A2 ⊢P) ? Do they represent different strings in first-order logic?
What’s the difference between ◻_A2(P) and (A2 ⊢P) ? Do they represent different strings in first-order logic?