>>345
>>335
>>324
意味を与えない場合は考察では無い
はい完全論破完了

対象を集合としない論理式はラッセルのパラドックスを回避出来ずに常に矛盾するからその記述には全く意味がないし何の真偽も決定不可能

>>338
明示的に排除してない時点で真偽決定不可能
明示的に排除してないならば変項にラッセル集合を指定する事で矛盾した演繹が可能になるため全ての論理式が矛盾するし命題関数の真理値をどのようにでも導ける