اینجانب قبلاً در پستی به این مسئله اشاره کردم و از همین جهت، تبصره ای را در پستی که از آن نقل قول کرده اید، قرار داده ام. گمان من بر این بود که در مورد معنای این گزاره اختلاف نظری نیست، از همین رو، این مورد را چندان بررسی نکردم. حقیقتش من نمیدانم چگونه میتوان نشان داد که این گزاره معنا دارد یا ندارد، اما میتوانم این را بگویم که بسیاری از اثباتهای رسمی در ریاضیات، بر گزاره هایی مانند این (با این درجه از معنا داری) استوار هستند. مثلاً در یک اثبات با برهان خلف، ممکن است به گزاره ای مانند "k عدد صحیحی ناصحیح است" برسیم که این را یک گزاره نادرست (و نه بی معنی) می گیریم.