Формален систем: Разлика помеѓу преработките
[проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с Робот: Автоматизирана замена на текст (-== Видете исто така == +== Поврзано ==) |
с Робот: Автоматизирана замена на текст (-философ +филозоф) |
||
Ред 41:
Последната низа од редот се нарекува [[теорема]].
Гледиштето дека математиката не е ништо повеќе од генерирање на формални докази се нарекува ''[[
[[Давид Хилберт]] ја основал [[метаматематика]]та како дисциплина која има за цел да ги обработува формалните системи.
Секој јазик кој се користи за разгледување на еден формален систем се нарекува ''[[метајазик]]''.
|