Câu hỏi 38
Cho một tập hợp $S$ bao gồm hai phần tử không xác định “pib” và “maa” và bốn định đề:
$\mathrm{P}_1:$ Mỗi pib là một tập hợp các maas.
$\mathrm{P}_2:$ Bất kỳ hai pib riêng biệt nào cũng có một và chỉ một maa chung.
$\mathrm{P}_3:$ Mỗi maa thuộc về hai và chỉ hai pib.
$\mathrm{P}_4:$ Có chính xác bốn pib.
Hãy xem xét ba định lý:
$\mathrm{T}_1:$ Có chính xác sáu maa.
$\mathrm{T}_2:$ Có chính xác ba maas trong mỗi pib.
$\mathrm{T}_3:$ Đối với mỗi maa, có chính xác một maa khác không cùng pib với nó.
Các định lý được suy ra từ các tiên đề là:
$\mathrm{P}_1:$ Mỗi pib là một tập hợp các maas.
$\mathrm{P}_2:$ Bất kỳ hai pib riêng biệt nào cũng có một và chỉ một maa chung.
$\mathrm{P}_3:$ Mỗi maa thuộc về hai và chỉ hai pib.
$\mathrm{P}_4:$ Có chính xác bốn pib.
Hãy xem xét ba định lý:
$\mathrm{T}_1:$ Có chính xác sáu maa.
$\mathrm{T}_2:$ Có chính xác ba maas trong mỗi pib.
$\mathrm{T}_3:$ Đối với mỗi maa, có chính xác một maa khác không cùng pib với nó.
Các định lý được suy ra từ các tiên đề là: