Допущение о том, что предисловие ( 3 ) будет разрешать нам выводить ( d ), спрашивает обоснования величественного предположения, задействованного в вогнанном рассуждении: сваливает ли теорема ( 3 ) типу больше семантических познания, чем ( 1 )? Это предположение идет из того, что А, не имевши особыми семантическими познанием, владеет тем не менее отдельные убеждения ( по крайней границе, мастерит заточения ) относительно теорем T - теории узнанного вида. Поскольку невозможно изречь, что А ( не семантик ) имеет ярковыраженными познанием по этим проблемам, то отсюда следует, что А должен иметь отдельным неявным познанием о ( 3 ).