а если взять ксиоми то ксиоми они просто заменители ставят