LATEX은 그림 그리라고 있는 편집기가 아닌가보다 아오 시발 그림 그리는건 어째어째 하는데 글 사이에 그림이 들어가니까 이새키가 지 마음대로 행간길이를 벌렸다 줄였다 아주 지랄을 하네.
이 연재글은 어떤 놈한테 부탁받아 무계획으로 쓰는 것이라 매번 분량이 들쭉날쭉하고 언제 끝날지도 모릅니다.
참고로, 여기서 다루는 Hilbert's axiom은 first order theory가 아니다. Plane geometry를 axiomize 하는 first order theory는 Tarski가 만든게 있는데 이쪽은 집합론하고도 independent하지만 뭐 일상적으로 하는 수학에는 차이도 안 주고 글만 더럽게 길어질 것 같아서 걍 Hilbert's axiom으로 간다.
왜 굳이 귀찮은 부탁을 들어주는거? 약점이라도 잡힌거임...? - dc App
good!