doc: add more of my closing thoughts

chabulhwi · Sep 26, 2024 · 29ace97 · 29ace97
1 parent 79c8b33
commit 29ace97
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/notes/chapter03/propositions.md b/docs/notes/chapter03/propositions.md
@@ -60,6 +60,10 @@ I don't think the usage of the term 'proposition' in Korean high school
 mathematics coincides with those in contemporary philosophy or interactive
 theorem provers like Lean.
 
+One can't clearly determine what the verb phrase 'clearly determine' really
+means, so Korean high school mathematics doesn't make it easier for students to
+understand the notion of a proposition.
+
 ## References
 
 * McGrath, Matthew and Devin Frank, "Propositions", *The Stanford Encyclopedia