Источник цитаты: Александр Болдачев. Многомировая теория истинности [*]

По сути логический мир есть множество предложений, объединенных едиными принципами утверждения их истинности. Так логический мир евклидовой геометрии состоит из истинных предложений (теорем), полученных путем логического вывода (согласно законам формальной логики) из конкретного набора аксиом. При этом мир геометрии Лобачевского включает множество других предложений, полученных по тем же правилам, но на основе измененного набора аксиом. Логический мир какой-либо религии формируется из предложений, верных, истинных с точки зрения священных писаний, принятых догм.

Попутно формально уточняется и понятие «истинность» утверждение истинности предложения означает всегда и только его принадлежность к одному из логических миров.