مبرهنة غودل لعدم الاكتمال

1:03

17:12

16:18

2:16

9:53

5:49

3:23

11:25

1:44

کوتاه

25:10

24:59

24:59

1:21:09

2:06

32:54

4:56

4:08

3:44

11:48

8:24

2:46

3:27

2:51

4:01