Pode-se dizer que foi descoberta, ela é baseada em oxiomas que são impossíveis de negar