自然数の公理系と一般的な四則演算、一般的な数字/記号の表記を採用します。
要は、普通の自然数に対応した数学の世界です
以下の4つの文は「おかしい」です。それを踏まえて質問について考えてください
1. iojqfafaf:jo_zj （完全に無意味な文）
2. 4+1=4//1 （文法らしきものは存在するが、使い方が正しくない）
3. 4+1=AAA (右辺が認識できない記号AAA)
4. 4+1=7 (文法は正しいが、解が正しくない)
質問
Q1
1～4の文は、この公理系(普通の自然数の世界)において、式として「存在」しますか？
Q2
「左辺が 4+1 であるもの」という集合を作った時、
1～4はそれぞれこの集合に含まれますか？
Q3
1～4それぞれにおいて、真か偽か？という問いにどう答えますか？