Результаты (
русский) 1:
[копия]Скопировано!
ния, принадлежащие к классу. Неопределенные условия, Кроме того, полностью лишенный содержания, за исключением таких, как подразумевается в предположениях.Теперь, первый вопрос, чтобы спросить о набор предположений: являются ли они логически последовательной? В примере выше, из набора предположений, читатель найдет что предположения, все истинные утверждения, если класс S интерпретируется означает цифры 0, 1,2, 3, 4, 5, 6 и m классов означает столбцы в таблице ниже:0 1 2 3 4 5 6(1) 1 2 3 4 5 6 03 4 5 6 0 1 2Такое толкование является конкретное представление наших предположений. Каждое предложение, производный от предположений должно быть правдой этой системе троек. Следовательно, ни одно из предположений может быть логически incon¬sistent с остальными; в противном случае противоречивые заявления будет верно этой системе троек.Таким образом в целом, а. набор предположений считается согласованным, если единое представление конкретных предположений может быть given.4Зная наши предположения, чтобы быть последовательными, мы можем приступить к получить некоторые из теоремы математической науки, из которых они являются основой:Любые два отдельных элементов S определяют один и только один m класс, содержащий оба эти элементы (предположения I, II).M класс, содержащий элементы A и В удобно можно снять отметить символом AB.Любые два м класса имеют один и только один элемент S общее (предположения II, III).Существует три элемента S, которые не все в том же м классе (предположения IV, V, VI).4В соответствии с последней теоремы, А, Е, С пусть будет три элемента S не в том же м класса. На предположение V должен быть третий элемент в каждом из m классы А В, ВС, Калифорния, и на предположение II эти ele¬ments должны быть различны друг от друга и от A, E и C. Пусть новые элементы D, E, G, так что каждый из тройки Абд, ВСЕ, С AG принадлежит к одному m классу. Предположением III m классы AE, и например, которые отличаются от всех m классов до настоящего времени получены, имеют элемент S в общем, который, предположение II, отличается от тех, кто до сих пор упоминается; Пусть он обозначается F, таким образом, чтобы каждый из троек АЭФ и BFG принадлежат же м класса. Пока еще не достигнут из VII предположение. У нас есть, затем, Теорема:
переводится, пожалуйста, подождите..