|
273
|
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
|
2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
361
|
3 <svg version="1.1" xmlns:xl="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" xmlns:dc="http://purl.org/dc/elements/1.1/" viewBox="38.294 90.49994 434.607 310.5001" width="434.607" height="310.5001">
|
|
273
|
4 <defs>
|
|
|
5 <font-face font-family="Hiragino Sans" font-size="22" panose-1="2 11 3 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-75" underline-thickness="50" slope="0" x-height="545" cap-height="766" ascent="880.0018" descent="-120.00024" font-weight="300">
|
|
|
6 <font-face-src>
|
|
|
7 <font-face-name name="HiraginoSans-W3"/>
|
|
|
8 </font-face-src>
|
|
|
9 </font-face>
|
|
|
10 <font-face font-family="Hiragino Sans" font-size="16" panose-1="2 11 3 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-75" underline-thickness="50" slope="0" x-height="545" cap-height="766" ascent="880.0018" descent="-120.00024" font-weight="300">
|
|
|
11 <font-face-src>
|
|
|
12 <font-face-name name="HiraginoSans-W3"/>
|
|
|
13 </font-face-src>
|
|
|
14 </font-face>
|
|
|
15 </defs>
|
|
|
16 <metadata> Produced by OmniGraffle 7.12.1
|
|
361
|
17 <dc:date>2020-07-16 04:53:15 +0000</dc:date>
|
|
273
|
18 </metadata>
|
|
361
|
19 <g id="Canvas_1" stroke-dasharray="none" stroke="none" stroke-opacity="1" fill="none" fill-opacity="1">
|
|
273
|
20 <title>Canvas 1</title>
|
|
|
21 <rect fill="white" x="38.294" y="90.49994" width="434.607" height="310.5001"/>
|
|
|
22 <g id="Canvas_1: Layer 1">
|
|
|
23 <title>Layer 1</title>
|
|
|
24 <g id="Graphic_21">
|
|
|
25 <rect x="55" y="323.5" width="172" height="76.000045" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
|
26 </g>
|
|
|
27 <g id="Graphic_22">
|
|
|
28 <rect x="278" y="323.5" width="172" height="76.000045" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
|
29 </g>
|
|
|
30 <g id="Graphic_20">
|
|
|
31 <rect x="55" y="260.5" width="172" height="59.5" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
|
32 </g>
|
|
|
33 <g id="Graphic_18">
|
|
|
34 <rect x="278" y="197.5" width="172" height="122.5" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
|
35 </g>
|
|
|
36 <g id="Graphic_17">
|
|
|
37 <rect x="55" y="197.5" width="172" height="59.5" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="3"/>
|
|
|
38 </g>
|
|
|
39 <g id="Graphic_2">
|
|
|
40 <text transform="translate(43.294 95.49994)" fill="black">
|
|
|
41 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="58264504e-20" y="19">primitive set theory</tspan>
|
|
|
42 </text>
|
|
|
43 </g>
|
|
|
44 <g id="Graphic_4">
|
|
|
45 <text transform="translate(68.66 138.49996)" fill="black">
|
|
|
46 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="22.858" y="19">First order</tspan>
|
|
|
47 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="5968559e-19" y="52.00002">predicate logic</tspan>
|
|
|
48 </text>
|
|
|
49 </g>
|
|
|
50 <g id="Graphic_5">
|
|
|
51 <text transform="translate(78.849 279.75004)" fill="black">
|
|
|
52 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="8597567e-19" y="19">Ordinals</tspan>
|
|
|
53 </text>
|
|
|
54 </g>
|
|
|
55 <g id="Graphic_6">
|
|
|
56 <text transform="translate(76.954 340.5001)" fill="black">
|
|
|
57 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="19895197e-20" y="19">Model on ZF</tspan>
|
|
|
58 </text>
|
|
|
59 </g>
|
|
|
60 <g id="Graphic_10">
|
|
|
61 <text transform="translate(270.099 171.49999)" fill="black">
|
|
|
62 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="0" y="19">Higher order logic</tspan>
|
|
|
63 </text>
|
|
|
64 </g>
|
|
|
65 <g id="Graphic_13">
|
|
|
66 <text transform="translate(292.522 210.75)" fill="black">
|
|
|
67 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="8597567e-19" y="19">Ordinals</tspan>
|
|
|
68 </text>
|
|
|
69 </g>
|
|
|
70 <g id="Graphic_14">
|
|
|
71 <text transform="translate(292.522 242.25)" fill="black">
|
|
|
72 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="0" y="19">ZF axioms</tspan>
|
|
|
73 </text>
|
|
|
74 </g>
|
|
|
75 <g id="Graphic_15">
|
|
|
76 <text transform="translate(285.475 272.25003)" fill="black">
|
|
|
77 <tspan font-family="Hiragino Sans" font-size="16" font-weight="300" fill="black" x="3.573997" y="14">Non constructive</tspan>
|
|
|
78 <tspan font-family="Hiragino Sans" font-size="16" font-weight="300" fill="black" x="21.437997" y="38.000016">assumptions</tspan>
|
|
|
79 </text>
|
|
|
80 </g>
|
|
|
81 <g id="Graphic_16">
|
|
361
|
82 <text transform="translate(283.964 348.5)" fill="black">
|
|
|
83 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="5684342e-20" y="19">Model on HOD</tspan>
|
|
273
|
84 </text>
|
|
|
85 </g>
|
|
|
86 <g id="Graphic_19">
|
|
|
87 <text transform="translate(77.021 210.99999)" fill="black">
|
|
|
88 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="0" y="19">ZF axioms</tspan>
|
|
|
89 </text>
|
|
|
90 </g>
|
|
|
91 </g>
|
|
|
92 </g>
|
|
|
93 </svg>
|
