Gödel's completeness theorem vs Ceva's theorem