Date: Apr 12, 2013 5:29 AM
Author: Alan Smaill
Subject: Re: Matheology § 224

Nam Nguyen <> 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
> buzzword?

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?

Alan Smaill