Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison fig/set-theory.svg @ 273:9ccf8514c323
add documents
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 11 Jan 2020 20:11:51 +0900 |
parents | |
children | 4cbcf71b09c4 |
comparison
equal
deleted
inserted
replaced
272:985a1af11bce | 273:9ccf8514c323 |
---|---|
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"> | |
3 <svg xmlns="http://www.w3.org/2000/svg" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="38.294 90.49994 434.607 310.5001" width="434.607" height="310.5001"> | |
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 | |
17 <dc:date>2020-01-11 11:07:37 +0000</dc:date> | |
18 </metadata> | |
19 <g id="Canvas_1" stroke-opacity="1" stroke-dasharray="none" stroke="none" fill="none" fill-opacity="1"> | |
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"> | |
82 <text transform="translate(292.522 348.5)" fill="black"> | |
83 <tspan font-family="Hiragino Sans" font-size="22" font-weight="300" fill="black" x="0" y="19">Model on OD</tspan> | |
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> |