Independência de axiomas
De Wikipedia, a enciclopédia encyclopedia
Um axioma P é independente caso não haja outros axiomas Q de maneira que Q implique P.
Em muitos casos, a independência é desejada, seja para alcançar a conclusão de um conjunto reduzido de axiomas, seja para possibilitar a substituição de um axioma independente a fim de criar um sistema mais conciso (a título de exemplo, o postulado das paralelas é independente de outros axiomas da geometria euclidiana e fornece resultados interessantes quando é negado ou substituído).