＞数学を形式化しようとすると、それがいかなる形式化であっても、
＞日常言語では理解し表現できるが、形式体系内では表現できない命題が生じる｡

じゃあ、集合論 BG で表現できない命題を作ってみてよ。