Besonderhede van voorbeeld: -6293228467102313204

English

The proof is similar to the preceding statement; the finite intersection property takes the role played by completeness.

Dutch

Het bewijs is gelijksoortig aan de voorafgaande stelling BCS1; de eindige doorsnede eigenschap neemt de rol over die in BCS1 door volledigheid wordt gespeeld.