Date: Apr 12, 2013 5:29 AM Author: Alan Smaill Subject: Re: Matheology § 224 Nam Nguyen <email@example.com> writes:
> But what is "meta-logic of the meta-language", in the context of FOL
> structure? Or is that at best just intuition and at worst just a
You tell us that it is possible to reason about language structures.
What logic are you using to do that -- or is that at best just intuition?