What counts as 'definable' or 'expressible' varies with semantic choices (Tarskian models vs. altern...
This proposition has not been edited since the history system was added.