Итак, чтобы строить логическое доказательство должен быть сформулирован тезис, или предмет доказательства, предмет спора.
Например, Земля — круглая. Этот хлеб хороший. Лучшие телефона выпускает Samsung.
Истины, для определённой группы, не являются тезисами, называются дискурсами, или утверждение, принимаемое на веру. Например, нельзя красть.
Если два человека из некоторой группы уверены, что Земля имеет форму шара, то для них это утверждение не является тезисом, для них это дискурс, потому что утверждение не является предметом спора, для них Земля имеет форму шара.
Нет предмета спора, нет и тезиса. Если выражение является предметом спора, и требует доказательства, то это уже тезис.
Те, кто ещё помнит геометрию тезис можно принять как теорему.
А неопровержимые для обоих сторон спора, факты в логике называются аргументами.