自己邏輯上的問題

假 設 G 君有兩種能力：「造」A和「搬」B，而「石頭」只有一種有效特性稱為「重量」w （實數）≧0。Aw，Bw 為 w 所構成的集。 w0εAw 代表 G 能造重量 w0 的石頭， w0εBw 代表 G 能搬重量 w0 的石頭。 再假設若重量 w1＜w2，則 w2εAw => w1εAw，w2εBw => w1εBw。在這個模型裡，敘述句「G 能造一塊 G 搬不起的石頭。」等於「有重量 w0 屬於 Aw 而不屬於 Bw。」設 M, N 為有限正實數，以上敘述句在下列情況屬實：Aw＝[0,M], Bw＝[0,N], M＞NAw＝[0,inf.), Bw＝[0,N] inf.解作無限在下列情況屬不實：3. Aw＝[0,M], Bw＝[0,N],M≦N4. Aw＝[0,M], Bw＝[0,inf.)5. Aw＝[0,inf.), Bw＝[0,inf.)在這簡化世界裡，「全能」（其實是「兩項全能」）是第 5 種情況， 並不矛盾，而且「全能者不能造一塊他自己搬不起的石頭。」實際的情況卻是比較複雜的：「石頭」不只「重量」一種有效特性。「全能」不限於「造石頭」和「搬石頭」兩種能力。先看石頭的屬性。「搬不起」石頭不一定是因為太重，可以是太大或太熱，也可以有一塊普通石頭偏偏是 G 搬不起的。我們需要把「重量集」（＝正實數）延伸至「石頭集」。假設 S 集代表所有可能存在的「石頭」，不犯「所有集的集」一類的謬誤，也不包含邏輯上必假的「石頭」，如同時是球體又是正立方體那種，而 A 集代表 G 能造之石頭，B 集代表 G 能搬之石頭，那麼回答「G 不能造一塊 G 搬不起的石頭。」並不否定「兩項全能」：A＝S, B＝S。這樣解決了「石頭問題」了嗎？「全能者不能……」好像是矛盾啊。是的，問題正出在把「兩項全能」延伸至「項項全能」。「兩項全能者」是有所不能的，不能的卻不是「造石頭」或「搬石頭」。上兩句如何發生,我想不清?