Математика как иностранный. B2-2. Интерпретация PA в ZF.

Uploaded By: Myvideo

Published on

28 Nov 2024

1 view

0

0 votes

0

About Share Download Add to

Погружаем язык и аксиоматику арифметики Пеано первого порядка в теорию ZF без аксиомы бесконечности путем релятивизации формул на класс нумералов (конечных ординалов).

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/ZHZhL2xlaUNwWjdkQWROaUMrcXduS3RYT2FyMXhRUm1vZVBXZFh2UzFibz0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

ru МОАНА 2 - Встреча с духом Матая Васы трейлер (2024) Disney Мультфильм HD

8 hours ago

00:02:06

ru МОАНА 2 - Встреча с духом Матая Васы трейлер (2024) Disney Мультфильм HD

1 88%

Из закона всемирного тяготения выразите массу. Формулы

8 hours ago

00:03:53

Из закона всемирного тяготения выразите массу. Формулы

1 54%

Сегодня в городе рыбаков и моряков собрались учёные, добытчики, руководство рыбной отрасли и регионов, чтобы подвести итоги рабо

9 hours ago

00:01:59

Сегодня в городе рыбаков и моряков собрались учёные, добытчики, руководство рыбной отрасли и регионов, чтобы подвести итоги рабо

1 88%

Мужчины умнее женщин!

9 hours ago

00:01:25

Мужчины умнее женщин!

3 18%

Смыслы. Математик в XXI веке

10 hours ago

00:46:26

Смыслы. Математик в XXI веке

10 23%

Лабораторные работы | Соединения серы

11 hours ago

00:12:40

Лабораторные работы | Соединения серы

1 6%

Видеоролик О применении математики в различных профессиях.mp4

11 hours ago

00:02:43

Видеоролик О применении математики в различных профессиях.mp4

7 84%

Сырский ненавидит украинцев.

12 hours ago

00:01:50

Сырский ненавидит украинцев.

4 73%

Решаем демоверсию ВПР 2025 | 8 класс

12 hours ago

00:00:00

Решаем демоверсию ВПР 2025 | 8 класс

1 43%

Показательные уравнения для ЕГЭ по Профилю I Умскул

12 hours ago

00:46:56

Показательные уравнения для ЕГЭ по Профилю I Умскул

3 9%

1. Введение в формальные системы

13 hours ago

00:51:19

1. Введение в формальные системы

1 46%

22. Умножение ординалов

13 hours ago

00:50:25

22. Умножение ординалов

1 78%

21. Cложение ординалов

13 hours ago

00:47:27

21. Cложение ординалов

1 85%

31. Степени кардиналов

13 hours ago

00:18:26

31. Степени кардиналов

1 91%

33.2. Доказательство эквивалентности аксиомы выбора и некоторых теорем

13 hours ago

00:46:27

33.2. Доказательство эквивалентности аксиомы выбора и некоторых теорем

1 71%

Задачка про палиндром.

13 hours ago

00:10:57

Задачка про палиндром.

1 23%

Математика как иностранный. A1-2. Логика.

13 hours ago

01:23:10

Математика как иностранный. A1-2. Логика.

1 17%

Математика как иностранный. А1-3.

13 hours ago

00:57:22

Математика как иностранный. А1-3.

1 35%

52. как вполне упорядочить натуральные числа

13 hours ago

00:52:36

52. как вполне упорядочить натуральные числа

1 55%

Математика как иностранный. A2-3. Равенство.

13 hours ago

01:21:51

Математика как иностранный. A2-3. Равенство.

1 86%

Математика как иностранный. Уровень А. Подведение итогов.

13 hours ago

00:40:48

Математика как иностранный. Уровень А. Подведение итогов.

1 15%

Математика как иностранный. A2-2. Теория моделей в классической логике.

13 hours ago

01:32:30

Математика как иностранный. A2-2. Теория моделей в классической логике.

1 80%

Математика как иностранный. B1-4. Язык теории множеств.

13 hours ago

01:30:06

Математика как иностранный. B1-4. Язык теории множеств.

1 32%

Математика как иностранный. B1-2. Порядок.

13 hours ago

01:43:33

Математика как иностранный. B1-2. Порядок.

1 55%

0 Comments

Guest