Результати пошуку

'''Теорема Леба'''&nbsp;— теорема в [[Математична логіка|математичній логіці]] про взаємозв'язок між доказовими твердження і самим т ...лючає [[Аксіоми Пеано|аксіоматику Пеано]], для будь-якого [[Висловлювання (логіка)|висловлювання]] <math> P </math> доведеність висловлювання «доведеність <m ...

...ші, наприклад «відомо, що» (логіка знання) або «можна довести, що» (логіка довідності). == Модальна логіка у філософії == ...