Date: Apr 12, 2013 5:29 AM Author: Alan Smaill Subject: Re: Matheology § 224 Nam Nguyen <firstname.lastname@example.org> 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?