takuro.onishi@gmail.com II 2009 6 4 11 • Figure: H.B.Curry (1900-82) Figure: W.A.Howard (1926-) • 1934 1958 • 1968 • • • • • • • • • • • • • • • • • • • • 3.6 (an)n (an)n (an)n 3.5.1 (an)n (an)n 3.5.2 (an)n (an)n (an)n • ( 1980, pp. 26-27) • ABCD ABCD ABCD 4 A, B, C, D ABCD ABCD ABCD n 4 n 2 n 4 m n = 4m n = 2 × 2m k = 2m n = 2k n 2 n 4 n 2 • • • • ⇒ • • 19 • • • Figure: G.Frege (1848-1925) • 1879
