Axiom
Tvrzený (veta) axiomaticky budovanř vedeckř teorie, kterř chapeme jako
vy chozý, v danř teorii nedokazovanř a z nehoz vyvozujeme vsechna dalsý
tvrzený teorie pomocý predem dany ch pravidel odvozovaný.
Axiom sylogismu
Jeden ze zakladných principu sylogismu. Lze jej formulovat napr. takto: Co
vypovýdame o vs ech prvcých nejakř trýdy, platý o kazdřm z nich.