Goedel's Completeness Theorem: Some History, Some Philosophy