Любая современная математическая теория начинается с соглашений об основных понятиях этой теории, которые не определяются через другие понятия, и основных положений, которые принимаются без доказательств, как данные практической деятельности человека, как всем известное. А далее построение ведется по законам логики и внутренним потребностям самой этой математической теории.

В математической логике как математической теории основными неопределяемыми понятиями являются понятия суждение, истина, ложь. Суждение не может быть одновременно истинным и ложным. Например, все предложения, которые произносит человек, являются суждениями.