bezespornost
bezespornost, konzistence- log. vlastnost teorií, systémů, zvláště axiomatických soustav, v nichž nedochází k log. sporu. V bezesporných systémech nelze zároveň odvodit nějaké tvrzení a jeho negaci. Opak spornost, inkonzistence.
bezespornost, konzistence- log. vlastnost teorií, systémů, zvláště axiomatických soustav, v nichž nedochází k log. sporu. V bezesporných systémech nelze zároveň odvodit nějaké tvrzení a jeho negaci. Opak spornost, inkonzistence.
