>命題は何か? 既出w
既出の命題は無定義用語を含むので
数学的命題とは認められない